skill-formal-research
Research skill for formal methods and logic verification
Informações da origem
- Repositório
- benbrastmckie/ModelChecker
- Última atividade na origem
- 4 de março de 2026 às 00:47
- Idioma detectado do SKILL.md
- inglês
- Estrelas
- 13
- Forks
- 3
Opções de instalação
Por padrão, está selecionado o prompt que primeiro revisa a origem. Você pode mudar para um comando direto ou baixar uma cópia local.
Revise os arquivos de origem
Leia o SKILL.md e os arquivos complementares exibidos pelo SkillsMP antes de decidir se vai instalar.
Exibindo SKILL.md
SKILL.md
Instruções da origem · Visualização somente leitura- name
- skill-formal-research
- description
- Research skill for formal methods and logic verification
- allowed_tools
- Read, Write, Edit, Bash, WebSearch, WebFetch, Grep, Glob
- context
- project/logic, project/math
# 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)
Ver no GitHub