Skill Formal Research

Research skill for formal methods and logic verification

benbrastmckie Updated

File contents

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)

benbrastmckie/modelchecker/tree/main/.opencode/skills/skill-formal-research commit b9696ff088

Frequently asked questions

npx skillmds@latest add benbrastmckie/skill-formal-research-3