por Juanjo LunaCrear verificación formal para proyectos
Genera un skill local que verifique formalmente el código cuando un fallo sea demasiado costoso para confiar solo en pruebas. Te sirve para razas, reintentos, máquinas de estado, parsers o código inseguro.
Descripción original (inglés)
create-formal-verification-skill: Generate a project-local skill that formally verifies the code where a bug costs the most and tests reach the least, in any language, with whichever verification tool fits. Use for /create-formal-verification-skill, \"model-check this race\", \"prove this invariant\", or when concurrency, retries, state machines, parsers, or unsafe code need more than tests.
Cómo instalarla
Una skill es una carpeta con un fichero SKILL.md. Para instalarla basta con copiar la carpeta create-formal-verification-skill en el sitio donde tu agente busca sus skills.
- Sin terminal: abre la carpeta en GitHub, descárgala y cópiala en la carpeta de tu agente (tabla de abajo).
- Con terminal (macOS, Linux o Git Bash en Windows): elige tu agente y copia los comandos.
git clone --depth 1 https://github.com/michael-denyer/pstack-claude.git /tmp/skill-src
mkdir -p ~/.claude/skills
cp -r "/tmp/skill-src/plugins/pstack/skills/create-formal-verification-skill" ~/.claude/skills/create-formal-verification-skill
rm -rf /tmp/skill-src| Agente | Para todos tus proyectos | Solo un proyecto |
|---|---|---|
| Claude Code | ~/.claude/skills | .claude/skills |
| GitHub Copilot | ~/.copilot/skills | .github/skills |
| Codex | ~/.agents/skills | .agents/skills |
| Gemini CLI | ~/.gemini/skills | .gemini/skills |
Muchos agentes leen también .agents/skills. Reinicia el agente después de instalar. Antes de instalar una skill, revisa su SKILL.md y los scripts que incluya: se ejecutan con tus permisos.
Más skills de michael-denyer/pstack-claude
- Diseñar arquitectura antes de programar architect
- Comparar soluciones en paralelo arena
- Convertir preferencias en skill automate-me
- Acompañar una PR hasta el final babysit
- Revisar listas de comprobación de rendimiento benchmark-checklist
- Comprobar el impacto de un cambio blast-radius
- Explicarlo en fácil bro
- Corregir errores repetidos del repositorio correct
Explicación redactada con ayuda de IA a partir de la descripción original.