seqra/formal-spec

آخر نشاط مصدر مسجل: ١٩ أكتوبر ٢٠٢٦ في ٢١:٤٥

آخر تحديث لفهرس SkillsMP: ٥ نوفمبر ٢٠٢٦ في ١٩:٥٧

skills مجمعة: ١

نجوم GitHub: ١
تفرعات GitHub: ٠

التثبيت بمساعدة مساعد ذكي

انسخ هذا الطلب إلى المساعد الذكي الذي تستخدمه.

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

ملف README للمستودع

مصدر ملف README للمستودع: README.md

قراءة الملف الأصلي

عرض ملف 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

@seqradev23 أكتوبر 2026 06:39 UTC

خبر إطلاق مهارةتنسيق مهام الوكلاء

ملخص المنشور · الإنجليزية

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

عرض ١ من أصل ١ skills مجمعة.