magi

magi は、オープンソースのターミナル向けコーディングエージェントで、ひとつの核心的な問いを中心に作られています。それは「一つのターンは本当に終わったのか」という問いです。多くのエージェントループは、モデルがツール呼び出しを止めた瞬間にターンを終えます。これは大抵の場合、両方向に間違っていて、タスクの 3/4 で止まるエージェントと、永遠に止まらないエージェントの両方を生み出します。magi は「終了」を証明しなければならない行為に変えます。エージェントが完了を宣言すると、3 人の監査役からなる評議会が、実際に実行されたもの、実際の終了コード、ディスク上で変わったものの全記録をそれぞれ読み、done／reject／abstain を投票します。証拠が主張を裏付けるときだけターンが終わり、そうでなければフィードバックが次の指示になり、エージェントは作業を続けます。

主な機能

• 評議会による検証ループ：デフォルトの 3 人の監査役（MAGI にちなんだ名前）が、異なる視点と探索順序で同じ記録を審査します。
• 証拠に基づく要件ウォーク：各メンバーは各要件を SATISFIED / UNSATISFIED / NO-EVIDENCE とマークし、エージェント自身の説明ではなくツールが返した逐語の断片で判定します。
• 再生可能な記録：すべてのステップを捕捉するため、検査したループを再現・理解できます。
• 探索可能なエージェント：magi はターミナルと専用 Web コンソールの両方から、複数のエージェントを同時に実行・監督できます。
• 単一バイナリ：Go 製、CGO フリーで、重いランタイム依存がありません。

使用シナリオ

このツールを使用すべき人は？

• 「完成に見える」を信用しない開発者：自分のエージェントが目標寸前で止まる、または決して止まらない人。
• 自律エージェントを大規模に運用するチーム：半端な実行や暴走は、現金と時間を蝕みます。
• 研究・評価：評議会は「タスクが実際に完了したか」に構造化された検査可能な答えを返します。
• エージェントループに原則的な終了条件を望む人：ヒューリスティックではなく。

解決する問題

1. 早すぎる終了：モデルのツール呼び出しが尽きてエージェントが途中で止まる。magi はターン終了前に証拠を要求します。
2. 終わらないループ：誰も停止を正当化させないため、エージェントが動き続ける。magi は完了を明確で争われる主張にします。
3. 信頼できない自己申告：モデルが「やった」と言っても何も証明しません。magi は記録されたツール出力に対して各要件を確定させます。

料金プラン

優位性と独自の価値提案

1. 原則的な終了：完了はモデル自身の停止シグナルではなく、証拠で決まります。
2. 3 つの独立した視点：正しさ・検証・完全性をそれぞれ誰も投票する前にウォークするため、見逃した瑕疵が全会一致で素通りしません。
3. オープンで検査可能、再生可能：記録はファーストクラスの成果物で、監査できます。

際立つポイント：「完了を拒否する評議会」は、エージェントループのターン終了問題への真に異なる回答であり、Apache-2.0 で公開されているため、何をしているか正確に読めます。

はじめに

クイックスタートガイド

1. magi バイナリをビルドまたは取得（Go 1.26+、CGO フリーの単一バイナリ）。
2. ターミナルで実行し、タスクを渡します。
3. ループを観察：エージェントがステップを踏み、「council: complete」と宣言します。
4. 監査役に投票させる：記録を要件に対して一行ずつウォークします。
5. 受け入れるか続行：評議会が完了を却下したら、フィードバックが次の指示になり、エージェントは続行します。

統合

以下と連携：

• macOS / Linux のターミナル
• Go バイナリから駆動できる任意のモデル／CLI
• 複数エージェントを同時監視する Web コンソール

よくある質問

magi はモデルを置き換えますか？

いいえ。magi はエージェントハーネスで、ドライブする任意のモデルに対して「完了」の宣言方法を変えるものです。

上級者向けだけですか？

必ずしもそうではありませんが、間違った「done」が高くつく場面（自律実行や一回限りのベンチマーク）で最も価値が出ます。

無料ですか？

はい。Apache-2.0 のオープンソースで、完全に自分のマシン上で動きます。

代替案

magi が適さない場合、以下を検討してください：

• Claude Code：日常開発にはより洗練されていますが、従来の暗黙的なターン終了です。
• Codex / Cursor：対話的コーディングには強力ですが、完了の証明には重点を置いていません。
• OpenHands：終了点重視のハーネスよりも、完全なエージェントプラットフォームが欲しい場合に。

ヒントとベストプラクティス

1. 要件を明示的な行で書く：監査役は「タスクが求めた各項目を一行ずつ」ウォークするため、曖昧な依頼は弱いチェックになります。
2. NO-EVIDENCE も答えとして扱う：結果がないことも情報です。エージェントの自己申告で記録を埋めないでください。
3. 監督にコンソールを使う：複数エージェントを同時実行するとき、評議会の一貫性が最も時間を節約します。

まとめ

magi はエージェントループで最も無視されがちな部分、つまり「作業が本当に終わったか」を突きます。完了を静かな停止ではなく、争われうる証拠ベースの決定にすることで、信頼でき検証できる終了条件をエージェント利用者に提供します。