このプロンプトをコピーして、使用中の AI アシスタントに送ってください。
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/seqra/formal-spec.リポジトリの README を読み込んでいます…
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 1 件中 1 件を表示しています。
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.
原文の言語: 英語
README を読み込めませんでした。リポジトリの Skill 一覧は下で引き続き確認できます。