seqra/formal-spec

최근 기록된 소스 활동: 2026년 10월 19일 21:45

SkillsMP 카탈로그 업데이트: 2026년 11월 5일 19:57

수집된 skills: 1

GitHub 스타: 1
GitHub 포크: 0

AI 어시스턴트로 설치

이 프롬프트를 복사해 사용 중인 AI 어시스턴트에 입력하세요.

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

저장소 README

README 원본 파일: README.md

README 원본 보기

README 전체 펼치기

# 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를 불러오는 중…

게시물

모두 보기 →

Aleksandr Misonizhnik

@seqradev2026년 10월 23일 06:39 UTC

Skill 공개 소식에이전트 작업 조율

게시물 요약 · 영어

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.

원문 보기

Skill 자세히 보기 · formal-spec/skill

이 저장소의 skills

분류 대기 중

skill

직업 분류

설명

업데이트

formal-spec

미분류

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.

원문 언어: 영어

2026-10-19

수집된 skill 1개 중 1개를 표시합니다.