Datos de origen
- Repositorio
- benbrastmckie/ModelChecker
- Última actividad en el origen
- 4 de marzo de 2026 a las 00:47
- Idioma detectado de SKILL.md
- inglés
- Estrellas
- 13
- Forks
- 3
Opciones de instalación
De forma predeterminada está seleccionado el prompt que primero revisa el origen. Puedes cambiar a un comando directo o descargar una copia local.
Revisa los archivos de origen
Lee SKILL.md y los archivos complementarios que muestra SkillsMP antes de decidir si quieres instalarlo.
Mostrando SKILL.md
SKILL.md
Instrucciones de origen · Vista previa de solo lectura- 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 en GitHub