Aleksandr Misonizhnik
@seqradev
Skill 发布消息协调智能体任务
帖子摘要
formal-spec 让 Agent 推理时套用形式化方法：先建模、写独立规格与证明义务，用 Lean 验证，再导出测试并按 TDD 实现。
seqra/formal-spec
- 最近记录的来源活动
- SkillsMP 收录数据更新
- 已收集 skills
- 1
- GitHub 星标
- 1
- GitHub Forks
- 0
用 AI 助手安装
复制这段 Prompt，发给你正在使用的 AI 助手。
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/seqra/formal-spec.正在加载仓库 README…
相关分享
查看全部 →这个仓库中的 skills
职业分类待补全
已展示 1 / 1 个已收集 Skill。
skill
职业分类
描述
更新
职业分类
未分类
描述
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.
原文语言：英语
更新
已展示 1 / 1 个已收集 Skill。