Formal Research Skill
Routes formal methods research tasks to formal-research-agent.
Usage
Invoked by orchestrator when task language is formal and operation is research.
Agent
- Agent: formal-research-agent
- Model: opus
Context
- Modal logic semantics
- Proof theory fundamentals
- Category theory (when relevant)