seqra/formal-spec

Última actividad de origen registrada: 19 de octubre de 2026 a las 21:45

Catálogo de SkillsMP actualizado: 5 de noviembre de 2026 a las 19:57

skills recopiladas: 1

Estrellas en GitHub: 1
Forks en GitHub: 0

Instalar con un asistente de IA

Copia este prompt en el asistente de IA que estés usando.

Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/seqra/formal-spec.

README del repositorio

Archivo de origen del README: README.md

Leer el README original

Mostrar README completo

# formal-spec <p align="center"> <img src="assets/cover.svg" alt="formal-spec: Spec-as-code" width="960"> </p> A skill that gives coding agents a structured way to reason before implementing. Write a model and an independent specification. State the proof obligations that connect them and prove them in Lean. Then derive tests and implement through TDD. Use it for behavior where mistakes could harm users, data, money, or access. Proofs cover the model and its assumptions; tests check the implementation. <p align="center"> <img src="assets/workflow.svg" alt="Spec-as-code: specify the behavior, prove the model, derive tests, implement through TDD." width="960"> </p> Install: ```sh npx skills add seqra/formal-spec ``` Then ask your agent: **“Work proof-first on this change.”** [Skill](skill/SKILL.md) · [Workflow](skill/references/workflow.md) · [Examples](demo/README.md) Apache-2.0. See [LICENSE](LICENSE).

Cargando el README del repositorio…

Publicaciones

Ver todos →

Aleksandr Misonizhnik

@seqradev23 oct 2026 06:39 UTC

Anuncio de un SkillCoordinar tareas entre agentes

Resumen de la publicación · inglés

formal-spec makes an agent reason through formal methods: model the behavior, write an independent spec and proof obligations, check them in Lean, then derive tests and implement through TDD.

Publicación original

Ver detalles del Skill · formal-spec/skill

Skills en este repositorio

clasificación pendiente

skill

ocupación

descripción

actualizado

formal-spec

sin clasificar

Structure agent reasoning about consequential behavior with a model, independent specification, proof obligations, and Lean proofs, then derive tests and implement through TDD. Skip cosmetic changes.

Idioma del texto original: inglés

2026-10-19

Mostrando 1 de 1 skills recopiladas.