英語の原文: https://argusic.com/subject/forall-mcp
forall-mcp
Forall (∀) は、Astrio のコーディングハーネスで、仕様駆動のコードと機械で検証可能な証明を生成することで、開発者が正しいソフトウェアを構築するのを支援します。
動作するソース: GitHubRustApache-2.0コミット 804ec8000347
Rust、Apache-2.0 ライセンス. プロジェクト自身の表記: agent framework、agent orchestration、java、rust、typescript.
forall-mcp は動作します。Argusic のエージェントが GPU のないクリーンなマシンで 0.5 分でインストールし、エラーに一度も遭遇せず、セッション全体が記録されました。
Rust workspace builds with cargo, all 44 unit/integration tests pass, and the npm MCP bridge correctly proxies MCP tool requests between stdio and Streamable HTTP.
クリーンなマシンでエージェントが最終的に得た結果 (エージェント自身の言葉)。 計測方法
Argusic が毎回新しいマシンで計測しています。 すべての数値はその証拠にリンクしています。 Argusic スコア 100 点中 100 点 (このプロジェクトの実行スコアの平均)。
概要
プロジェクトのデータは GitHub から取得 (このページの冒頭にリンクあり)、更新日 。テストデータは Argusic によるもので (CC BY 4.0)、すべての数値は、完全なログ、録画、それらの sha256 ハッシュを含む実行ページにリンクしています。
計測した内容
この判定を決めた実行から取得しています。 各行は記録された値であり、推定値ではありません。
- インストール時間
- 1 分未満
- クリーンなマシンから完了まで
- 5 分
- 遭遇したエラーと修正したエラー
- 0 件に遭遇、0 件を人の手を借りずに修正
- 結果の証明方法
- cargo test: 44 passed (28+12+1+3+0+0); npm @astrio/forall-mcp mocked end-to-end: bridge proxied tools/list and returned correct tool definitions
- 使用したモデルのトークン
- 101,060
- テストした正確なコミット
- 804ec8000347
- コンテナイメージ
- sha256:cdd920bce783
計測していない内容
残りの半分です。この証拠がどこまでを示すのかを正確に確認できます。欠けている部分は欠けているものとして表示し、埋めることはありません。
- GPU メモリのピーク
- CPU マシンで実行したため、サンプリングする GPU がありませんでした
- 長時間の実行での振る舞い
- 各試行はドキュメントにある最小の設定と決まった時間予算を使うため、計測しているのは動作するかどうかであり、負荷のもとでどう持ちこたえるかではありません
録画の最後
この判定を決めたターミナルセッションの最後の行を、記録されたとおりに表示しています。
Here's my final assessment: **Rust workspace** — cargo build and cargo test both succeed cleanly. ``` test result: ok. 28 passed (forall-authoring) test result: ok. 12 passed (forall-hosted-verify) test result: ok. 1 passed (standalone_flow integration test) test result: ok. 3 passed (wire_conformance tests) test result: ok. 0 passed (forall-wire unit tests — no tests in that crate) test result: ok. 0 passed (forall-wire doc-tests) ``` **npm MCP bridge** — `@astrio/forall-mcp` installs, syntax-checks OK, module imports cleanly, and t… **No errors encountered** during install, build, test, or verification.
セッション全体を再生 (クリーンなマシンからこの時点までのすべてのコマンド)。
テスト方法
1 つのエージェント、1 つのコンテナで、人の手は借りません。エージェントはプロジェクト自身のドキュメントに書かれた方法でインストールし、実行し、壊れた部分を修正します。以下はすべて、実際に起きたとおりに記録されています: ターミナルセッション、ログ、そして正確なコミットです。 評価方法の全文.
強みと限界
意見ではなく、計測された事実です。コンテンツの作成方法.
うまくいった点
- クリーンなマシンで実行状態に達し、セッションが記録されました。
- 0.5 分でインストールでき、Argusic が計測した比較可能な 61 件のプロジェクトの中央値より速い結果です。
- 途中で何も壊れませんでした: クローンから実行までエラーは 0 件です。
- GPU なしで動作したため、起動に GPU は必要ありません。
- ホストの報告によると、ライセンスは Apache-2.0 です。
うまくいかなかった点、または不明な点
- これまでの計測は 1 回です。1 回の試行は動作し得ることを示すだけで、安定して動作することは示しません。
Argusic がインストールして時間を計測した agent-framework のプロジェクト 62 件のうち、forall-mcp は実行状態に達するまでの速さが 8 番目で、62 件中 48 件がそもそも実行状態に達しました。
適している用途
- ノートパソコンや小さなサーバーで試す場合: GPU なしで実行状態に達しました。
- 手早く評価したい場合: クローンから 0.5 分後には動作していました。
- 自身の README に従う場合: ドキュメントどおりの手順で、修正なしに動作しました。
同じ分野でテストしたプロジェクト
ここに挙げたものはすべて、Argusic がクリーンなマシンにインストールして実行しました。テストしていないものは表示されません。
実行履歴
トピック (出典: GitHub)
バッジを埋め込む
プロジェクトの README に貼る Markdown です。バッジはこのページにリンクします。利用条件: 利用規約ページ.
[](https://argusic.com/subject/forall-mcp)質問
- forall-mcp は動作しますか?
- はい。forall-mcp は動作します. Argusic はクリーンなマシンで 1 分でインストールして起動し、途中で 0 件のエラーに遭遇し、セッションを記録しました。
- Argusic は forall-mcp をどのようにテストしましたか?
- 新しい使い捨てのマシンで、すべてのコマンドを記録しながらテストしました (リポジトリはコミット 804ec8000347 に固定)。記録された試行は 1 回で、手順の全体は評価方法のページに掲載しています。
- forall-mcp のテストにはいくらかかりましたか?
- この判定を出した実行のコストは 0.04 USD です: 100 万トークンあたりの定価ではなく、実際の計算資源とモデルのコストです。その実行のページに記録されています。
- forall-mcp のインストールにはどのくらい時間がかかりますか?
- この判定を決めた実行では、クリーンなマシンから実行状態まで 0.5 分でした。これは 1 回の計測された試行であり、平均ではありません。
- forall-mcp には GPU が必要ですか?
- 起動には必要ありません。Argusic は GPU のないマシンで実行状態に達しました。
- forall-mcp のインストールでは何がうまくいきませんか?
- 記録された実行では何も起きませんでした: クローンから実行までエラーは 0 件です。
- forall-mcp は代替のプロジェクトと比べてどうですか?
- Argusic がインストールして時間を計測した agent-framework のプロジェクト 62 件のうち、forall-mcp は実行状態に達するまでの速さが 8 番目で、62 件中 48 件がそもそも実行状態に達しました。
- forall-mcp の証拠はどこにありますか?
- 記録された実行をこのページに掲載しており、それぞれが完全なログとターミナル録画にリンクしています。録画は sha256 フィンガープリントとともに保存されているため、こっそり改変することはできません。