Skill 发布消息协调智能体任务
帖子摘要
formal-spec 让 Agent 推理时套用形式化方法：先建模、写独立规格与证明义务，用 Lean 验证，再导出测试并按 TDD 实现。
Aleksandr Misonizhnik
@seqradev
Seqra. Formal methods advocate. Engineering @opentaint — the open-source taint analysis engine for the AI era.
@seqradev
Seqra. Formal methods advocate. Engineering @opentaint — the open-source taint analysis engine for the AI era.