← エージェントマーケットプレイス
オープンソースプロジェクト
forall-mcp
astrio-labs 作
Forall (∀) is a coding harness from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
—まだ評価がありません
あなたの評価
ログインすると評価・保存できます
560 スターセルフホスト
スキル
オープンソースプロジェクトです — コードを確認し、GitHubからセルフホストできます。