seqra/formal-spec

Letzte erfasste Quellaktivität: 19. Oktober 2026 um 21:45

SkillsMP-Katalog aktualisiert: 29. Oktober 2026 um 18:30

gesammelte Skills: 1

GitHub-Stars: 1
GitHub-Forks: 0

Mit einem KI-Assistenten installieren

Diesen Prompt kopieren und in den verwendeten KI-Assistenten einfügen.

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

README des Repositorys

README-Quelldatei: README.md

README-Quelldatei lesen

Vollständige README anzeigen

# 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).

README des Repositorys wird geladen…

Beiträge

Alle ansehen →

Aleksandr Misonizhnik

@seqradev23. Okt. 2026 06:39 UTC

Beitrag zu einem Skill-ReleaseAgentenaufgaben koordinieren

Beitragszusammenfassung · Englisch

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.

Originalbeitrag

Skill-Details ansehen · formal-spec/skill

Skills in diesem Repository

Klassifizierung ausstehend

Skill

Beruf

Beschreibung

Aktualisiert

formal-spec

nicht klassifiziert

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.

Quellsprache: Englisch

2026-10-19

Es werden 1 von 1 gesammelten Skills angezeigt.