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.
Aleksandr Misonizhnik
@seqradev
Seqra. Formal methods advocate. Engineering @opentaint — the open-source taint analysis engine for the AI era.