Ackrite

ACKRITE. 証明せよ。

AIエージェントが行動する前にその前提を証明させるMCPサーバー。

Ackriteは、AIエージェント向けの焦点を絞った検証ユーティリティです。あらゆる問題を解決しようとしたり、都合のよい答えを探したり、裏付けをでっち上げたりすることはありません。その代わり、提供された証拠のみを使ってエージェントの技術的主張に異議を唱え、事実と仮説を区別し、欠落している証明を特定し、問題に決着をつけられる最小の次のチェックを推奨します。

その目的は、よくある失敗パターンを防ぐことです。エージェントがエラーを見て原因を推測し、自信を持ってシステムの半分を書き換え、その後になって初めて推測が間違っていたことに気づく、というパターンです。Ackriteはエージェントを、証拠、的を絞った実験、範囲を限定した変更、明示的な不確実性へと導きます。

なぜ存在するのか

エージェントの自信は証拠ではありません。「APIがネイティブ認証を削除した」のような主張は、多くの場合有益な仮説ですが、確定した事実として扱われ、書き換えを正当化するために使われると危険になります。Ackriteは、4つの絞り込まれた質問をします：

1. 提供された証拠は、実際に何を立証しているのか？

2. 主張と矛盾するものは何か（もしあれば）？

3. どの前提が結論を支えているのか？

4. 次に実行すべき最小の実証チェックは何か？

その結果は、エージェントのコンテキストウィンドウに直接そのまま戻せるように、意図的に簡潔にしています。

Related MCP server: Veritas MCP

主張ステータス

Ackriteは、意図的に保守的な分類モデルを使用します。

基本原則： Ackriteは、推論を事実に格上げすることは決してありません。その代わりに、観察と結論の境界にラベルを付けます。

アーキテクチャ

Ackriteは意図的に小さく作られています。MCPバウンダリ、ドメイン分析、証拠処理、境界付き状態が分離されているため、検証ルールをMCPクライアントを起動せずにテストできます。

Ackriteは、公式のMCP TypeScriptサーバーパッケージとクライアントパッケージを使用してTypeScriptで実装されています。stdioサーバーを公開します。クライアントはAckriteをサブプロセスとして起動し、標準入力と標準出力を介してJSON-RPCメッセージを交換します。これは標準的なMCPトランスポートです。[1] [2]

インストール

AckriteにはNode.js 20以降が必要です。

git clone https://github.com/mshanghai570/Ackrite.git
cd Ackrite
npm install
npm run build

ビルド後、サーバーを直接起動します：

npm start

このプロセスは標準入出力で通信するため、ターミナルで実行するとアイドル状態に見えることがあります。これは想定どおりです。リクエストを提供するのはMCPクライアントです。通常のログは標準出力に出力しないでください。MCP stdioは標準出力をプロトコルメッセージ用に予約しています。[1]

MCPクライアントのセットアップ

まずプロジェクトをビルドし、次にMCPクライアント設定に以下のようなエントリを追加します。/absolute/path/to/Ackrite を、このリポジトリを含むディレクトリに置き換えてください。

{
  "mcpServers": {
    "ackrite": {
      "command": "node",
      "args": ["/absolute/path/to/Ackrite/dist/index.js"]
    }
  }
}

クライアントがパッケージスクリプトの実行をサポートしている場合、同等のコマンドは、リポジトリを作業ディレクトリとする node dist/index.js です。Ackriteはv0.1では資格情報を受け付けず、ネットワーク呼び出しも行いません。

利用可能なツール

5つのツールはすべて読み取り専用として宣言されており、読み取り可能なJSONテキストと構造化コンテンツの両方を返します。オプションの sessionId を受け付けます。関連する調査中は同じ値を使用して、実行中のプロセス内に境界付き履歴を保持してください。

共有証拠入力

証拠は、構造化されていないコンテキストに埋め込むのではなく、明示的に渡してください。context は背景情報を提供できますが、証明としてはカウントされません。

{
  "type": "http_response",
  "source": "staging request, 2026-08-27",
  "content": "POST /v1/session returned 401 with code AUTH_REQUIRED.",
  "polarity": "contradicts",
  "reliability": 0.9
}

対話例

根拠のないAPI主張に異議を唱える

主張：「APIはもはやネイティブ認証をサポートしていません。」

{
  "claim": "The API no longer supports native authentication.",
  "evidence": [
    {
      "type": "code",
      "source": "current client",
      "content": "The current client implementation does not obtain credentials.",
      "polarity": "supports"
    },
    {
      "type": "observed_behavior",
      "source": "older working application",
      "content": "The older application successfully signs in.",
      "polarity": "contradicts",
      "reliability": 0.9
    }
  ]
}

Ackriteは CONTRADICTED で応答し、両方の来歴を保持し、クライアントを置き換える前に古い認証フローを調査することを推奨します。ネイティブ認証が存在する、または古いフローが適用可能であると結論付けることはありません。それは提供された証拠を超えることになるからです。

書き換え提案を監査する

{
  "reportedProblem": "Login returns an unexpected response.",
  "proposal": "Rewrite the authentication client to replace the API endpoint integration.",
  "proposedChanges": [
    {
      "path": "src/auth.ts",
      "description": "Rewrite authentication client and route handling."
    },
    {
      "path": "src/theme.ts",
      "description": "Change unrelated color palette."
    }
  ]
}

監査は、書き換えに求められるより高い証拠基準、根拠のないAPI契約の前提、欠落しているテスト計画、そして明らかに無関係なテーマ変更を指摘します。src/auth.ts や src/theme.ts の内容が証拠として提供されない限り、それらを調査したとは主張しません。

繰り返される失敗ループを断ち切る

{
  "sessionId": "auth-investigation",
  "reasoning": "The rewrite will work and the issue is fixed.",
  "attempts": [
    { "approach": "Replace the auth client", "outcome": "Failed with timeout." },
    { "approach": "Replace the auth client", "outcome": "Failed with timeout again." },
    { "approach": "Replace the auth client", "outcome": "Failed with the same timeout." }
  ]
}

主な問題は、同じ戦略を繰り返していることです。Ackriteは、いったん停止し、置き換えが必要に見える原因となっている前提を特定し、同じ介入を再び試みるのではなく、その前提を検証することを推奨します。

信頼性とセキュリティモデル

Ackriteは意図的に保守的です。v0

セッションストアはプロセスローカルかつ上限付きです。最近の主張、証拠、試行、結論、未解決の前提を最大32の名前付きセッションに保持します。各セッションのコレクションには上限があり、最も長期間未使用のセッションから排除され、プロセスが終了するとすべての履歴が失われます。これにより、v0.1 はメモリプラットフォームになることなく、対象を絞った調査に有用であり続けます。

開発

テストスイートには、主張の分類、矛盾する証拠、裏付けのない主張、秘匿化、上限付き状態、各コアツール、繰り返し発生する失敗、サーバー起動、ツールディスカバリ、MCP プロトコル経由のツール呼び出しに関する正常系および異常系のカバレッジが含まれます。

制限事項

Ackrite の分析は、完全な自律推論システムではなく、決定論的かつエビデンス駆動です。audit ツールは提案の説明をレビューします。これは静的解析ツールではなく、作業ツリーを検査しません。繰り返し戦略の検出は、提供された試行の説明から正規化した用語を使用するため、意味的に同一でも表現が大きく異なる試行はグループ化されない可能性があります。シークレットの秘匿化ルールは一般的なパターンをカバーしますが、すべてのプロプライエタリな認証情報形式を認識できるわけではありません。

Ackrite は v0.1 では stdio のみを使用します。L-Dopa や他の MCP サーバーから独立した状態を保つように設計されています。将来の HTTP トランスポート、永続化レイヤー、またはリポジトリ対応アダプターは、オプトインのままであるべきであり、同じ捏造防止と秘匿化の保証を維持しなければなりません。

ライセンス

Ackrite は MIT ライセンス の下でリリースされています。

参考文献

[1] Model Context Protocol — トランスポート

[2] 公式 Model Context Protocol TypeScript SDK