Verificate MCP

Verificate MCP — 雰囲気コーディングで作った MVP を、本番環境まで

ライブサーバーからの実際の出力：AI が書いた決済コード12行を、却下、修正、承認。わずか数秒です。

デモは雰囲気コーディングで作りました。これで製品としてリリースできます。 動作するデモとリリース済みの製品の間には、経験豊富な CTO とシニア開発者チームが必要でした。モックの返金処理、実在しない SDK 呼び出し、実際のトラフィックで停止するループを見つける人たちです。Verificate MCP は、そのレビューを MCP サーバーとして提供します。拒否権を持つ17の決定論的な現実チェックゲートと、フロンティアモデルによるエンタープライズレビュー（ISO/IEC 25010：パフォーマンス、スケーラビリティ、信頼性）を組み合わせ、AI が書いた変更がコードベースに届く前に毎回実行します。AI が書き、ゲートが基準を守り、あなたがリリースします。ホスト型でインストール不要。Claude Code、Cursor、Windsurf、または任意の MCP クライアントで、数秒以内に二択の判定を返します。

単なるリンターのラッパーではありません。 MCP ディレクトリのコード品質ツールは、大きく二種類です。スキャナー（ESLint、Semgrep、SonarQube のブリッジ。決定論的なルールに基づき、判断はしません）と、リポジトリをユーザー自身の LLM キーに送るプロンプト中継ツール（手順が増えただけの自己レビュー）です。Verificate はそのどちらでもありません。ゲートが持つ拒否権は、モデルの出力でも覆せません。

コーディングアシスタントはモックを作り、それで完了だとします。実在しない SDK 呼び出しをでっち上げます。すべてのテストに合格する一方、負荷がかかると停止する N+1 ループをリリースします。Verificate MCP は AI の出力すべてに対して詳細なレビューを実行します。まず決定論的な現実チェックゲートを適用し（どのゲートにも拒否権があります）、次に残ったものをエンタープライズ品質のレビューで評価します。コードベースにコードが届く前に実行します。

実際の却下例（原文のまま）

AI が書いた、一見もっともらしい決済コード12行を本番ゲートウェイに送信しました。判定：却下 — スコア30.8/100、code_reality_gate により拒否。指摘事項には次のものが含まれていました。

「N+1 の同期 API 呼び出し……アイテムが100個ある場合、HTTP ラウンドトリップが100回連続で発生し、約10〜20秒かかってイベントループ／ワーカースレッドをブロックします……Stripe のレート制限（100リクエスト/秒）に抵触します。」 「stripe.Inventory は有効な Stripe SDK リソースではありません。」 「浮動小数点数の表現によって金融取引で丸め誤差が生じます。Stripe API では整数のセント単位が必要です。」

どれも、本番環境でのデバッグに午後いっぱいかかる問題です。それを数秒で検出します。

実測 — モデルに自分のコードをレビューさせた場合との比較

最先端モデルに、自然なワークフローで 「これ、マージして大丈夫ですか？」 と尋ねたところ、報酬を不正に得ようとするコード（assert True だけを実行するテスト）も、幻覚による API（stripe.Refund.create_partial）も、各 6 回の実行中 0 回しか見つけられませんでした。Verificate のゲートは、両方を決定論的に、6 回中 6 回検出し、クリーンなコードに対する誤検知は 0 件でした。

敵対的ケース	LLM によるレビューのみ	Verificate のゲート
報酬の不正取得（assert True テスト）	0 / 6	6 / 6
幻覚による API（存在しない SDK 呼び出し）	0 / 6	6 / 6

実運用で検証済み： 5 週間で 2,581 件の検証を監査（66 件を却下、270 件を不適格としてフラグ付け）。これには、2,100 万エンティティを持つ、出典が引用されたナレッジベースの書き込みパスの保護も含まれます（268 件のソース全体で、引用率 98.6%、ライセンス取得率 100%）。再現するには：scripts/ · 詳細な解説：COMPARISON.md。

ツール

各ツールは 1 つの役割を担います。判定を返すゲートが 2 つ、判定を返さないアドバイザーが 1 つ、ジェネレーターが 1 つです。

ツール	役割	戻り値
validate_ai_output	AI が記述したコードのマージゲートです。 決定論的な実態ゲート（モック／プレースホルダーの拒否、不正取得と回避の検出、捏造された API のチェック）が最初に実行され、上書きできません。続いて、ISO/IEC 25010 に基づくレビューで、これらを通過したコードを評価します。	二者択一の承認／却下判定 ＋ 重大度順の指摘事項
validate_plan	コードを書く前に、計画と設計を検証するゲートです。完全性、実現可能性、スケーラビリティへの影響、リスクを評価します。悪い設計を見つけるのに最も低コストな段階です。	二者択一の承認／却下判定 ＋ 指摘事項
analyze_code	既存コードを詳細に分析するアドバイザーツールです。ホットパス、レート制限の計算、障害モード、技術的負債などを分析します。却下理由を理解したり、引き継いだコードをレビューしたりする際に使います。	スコア ＋ 指摘事項。意図的に判定は返しません
generate_code	生成とゲート処理を 1 ステップで実行します。 LLM がコードを記述し、同じ保護エンジンが、コードを表示する前に審査します。	ゲートを通過したコード（プレースホルダーなし、捏造された API なし）

ツール以外の機能

サーバーにはプロンプトとリソースも用意されており、クライアントをより豊かに使えます。

• プロンプト gate_my_changes / review_my_plan — 承認されるまで「検証 → 修正 → 再検証」を繰り返す、ワンクリックのワークフローです。
• リソース verificate://gates（17 個の決定論的ゲートがそれぞれ何を監視するか）と verificate://example-verdict（本番環境での却下例をそのまま収録）。

クイックスタート — サインアップ不要、トークン不要、30 秒で開始

すべてのマシンで無料の検証を 25 回利用できます。アカウント、カード、キーは不要です。URL を追加するだけで使えます。

Claude Code

claude mcp add --transport http verificate https://mcp.verificate.ai/mcp

Cursor / VS Code — ワンクリックでインストール：

LM Studio と Goose のワンクリックボタンは https://verificate.ai/mcp にあります（GitHub は独自プロトコルのリンクを削除します）。

Windsurf / 任意の MCP クライアント（JSON）

{
  "mcpServers": {
    "verificate": {
      "url": "https://mcp.verificate.ai/mcp",
      "transport": "http"
    }
  }
}

Cursor：~/.cursor/mcp.json。Windsurf：~/.codeium/windsurf/mcp_config.json。

次に、アシスタントに 「この関数を verificate で検証して」 と尋ねてください。数秒で構造化された判定が返ってきます。無料プランでの応答には毎回、残りの検証回数と、ゲートがこれまでに検出した内容が表示されます。

無料の25回を使い切った後も続ける

https://verificate.ai/auth/signup からサインアップし（30日間のトライアル、カード不要。その後は月額30ドル）、同じ設定にトークンを追加します：

claude mcp add --transport http verificate \
  https://mcp.verificate.ai/mcp \
  --header "Authorization: Bearer YOUR_TRIAL_TOKEN"

または、JSON 設定に "headers": { "Authorization": "Bearer YOUR_TRIAL_TOKEN" } を追加します。

ゲーティングをデフォルトにする

エージェントが呼び出してもよいツールは、負荷がかかるとスキップされるツールです。常設ルールを追加してください（Claude Code：CLAUDE.md、Cursor：ルールファイル）：

Before presenting any substantive code change as complete:
1. Call validate_ai_output on the change.
2. If the verdict is REJECTED, fix the findings and re-validate.
3. Never claim tests pass or systems are deployed without proof.

これらのルールをインストールする、貼り付けるだけのセットアップ用プロンプトはこちらです：PROMPTS.md。または、CI にマージゲートとして組み込む方法については、examples/ をご覧ください。

判定方法

AI output ──► Reality gates (deterministic, any one vetoes)
              • mock/placeholder in the wire path
              • invented/hallucinated APIs
              • claimed-complete without proof
              • gaming & bypass detection
                       │ survivors only
                       ▼
              Enterprise review (ISO/IEC 25010 + MLOps)
              performance · scalability · reliability · tech debt
                       │
                       ▼
              Verdict: score /100 + severity-ranked findings
              (REJECTED = agent fixes findings and re-validates)

2つの段階は意図的に分けられています。実態と品質を1つのスコアにまとめてしまうと、返金処理が決済プロバイダーをまったく呼び出さない関数でも、構造が見事なために平均して「許容範囲」と判定される可能性があります。拒否権を持つアーキテクチャなら、そのような事態を防げます。

このカテゴリの実情

MCP のコード品質関連ツールは、ほかはすべて無料です。ラッパーは無料であるべきなので、それは当然です。無料では得られないのは、権限を持った判断です：

ディレクトリにあるもの	その正体	構造上できないこと
リンターのラッパー — ESLint MCP、Semgrep MCP、SonarQube MCP	ルールベースのスキャナーを MCP ツールとして公開したものです。決定論的で無料なので、実行する価値があります。	判断はできません。返金関数が決済プロバイダーを呼び出していないことや、stripe.Inventory が存在しないことをルールで把握することはできません。判定も拒否権もなく、指摘を無視するかどうかはエージェント次第です。
BYO キーによるレビュー中継サービス	自分のリポジトリとレビュープロンプトを、自分の OpenAI／Anthropic キーに渡すものです。	手順を増やしただけの自己レビューです。レビュアーは生成側の盲点を共有し、下支えとなる決定論的なゲートもなく、モデルの回答がそのまま採用されます。キー、バージョン、ホスティングは自分で管理する必要があります。
より大きなモデル	生成モデルが自分自身をより適切にレビューしてくれることを期待するものです。	自己レビューには自己の盲点が受け継がれます。外部ゲートなら、どのモデルにも同じ基準を適用できます。そのため、より小さく安価なモデルでも安全にリリースできます。どのモデルでも同じゲートが適用されます。
AI によるすべての差分を人間がレビュー	人間の速度で行う、最高水準のレビューです。	AI の生成速度には対応できません。ゲートが数秒で一次チェックを行い、人間は生の差分ではなく判定をレビューします。
Verificate MCP	決定論的な実態ゲートが拒否権を行使し、その後に最先端モデルによるエンタープライズレビューを実行します。これらを1つの二値判定に統合します。ホスト型で、常に最新モデルを利用します。	—

料金が発生するのは、この第2層です。最先端のエージェントが、本番環境での計算、障害モード、SDK の実態まで踏み込んでレビューします。その土台には、エージェント自身が覆せない決定論的な基準があります。

ローカルで実行する（stdio ブリッジ）

このリポジトリは、依存関係ゼロで実行できる MCP サーバーでもあります。ローカルで initialize／tools/list を提供し、ツール呼び出しをホスト型ゲートウェイに転送する stdio ブリッジです。stdio サーバーを優先するクライアントで使用できます：

VERIFICATE_TOKEN=<your-token> npx github:Verificate-Dev/verificate-mcp-quickstart

Docker を使う場合：

docker build -t verificate-mcp .
docker run -i -e VERIFICATE_TOKEN=<your-token> verificate-mcp

VERIFICATE_TOKEN がなくてもイントロスペクションは動作し、ツール呼び出しではトライアルトークンの取得方法が案内されます。

FAQ

エージェントの処理は遅くなりますか？ 各検証はループ内で数秒かかり、作業結果を提示する前に実行されます。CI や本番環境で欠陥が見つかった場合と、その修正のために作業を中断することを比べると、重要な変更ではゲーティングによって全体の速度が向上します。

対応言語は何ですか？ 検証は言語に依存しません。分析は主要な言語（Python、JS/TS、C++、SQL、Swift など）に対応しています。最良の結果を得るには、context.language を渡してください。

エージェントを止められますか？ はい。それが目的です。REJECTED 判定は、壊れた成果物を提示するのではなく、指摘事項を修正するためにエージェントを差し戻すよう設計されています。停止の強さは、常設ルールで決まります。

誤検知についてはどうですか？ 判定には具体的な指摘事項と計算内容が付属するため、数秒で監査できます。根拠のないスコアをそのまま信頼するよう求められることはありません。

セキュリティとプライバシー

• リクエストは個人用トークンで認証されます。キーは単一ユーザー用で、レート制限とキー共有の検出が適用されます。
• コードは判定の生成に使用されますが、モデルのトレーニングには使用されません。
• initialize/tools/list は公開されているため、クライアントやディレクトリから情報を照会できます。すべての tools/call にはキーが必要です。

料金

30 日間の無料トライアル後、月額 30 米ドルです（ローンチ特典：3 か月間 50％オフ）。ボリューム料金と学術機関向け料金については、[email protected] にお問い合わせください。

ガイド

• AI が幻覚で生成したコードをリリース前に見つける方法
• Claude Code に 5 分でコードレビューゲートを追加する方法
• AI アシスタントが深刻なパフォーマンスバグを見逃す理由
• より小型で安価な AI コーディングモデルを安全に使う方法
• すべてのボブにはウェンディが必要（IBM Community）

概要

Verificate Pty Ltd（オーストラリア、シドニー）が開発しました。同社は IBM ビジネスパートナーです。Verificate は、主権型 AI インフラストラクチャを構築しています。これには、すべての回答に調整済み信頼度スコアを付与する HELIX 推論エンジン、決定論的 Decision Transformer、そしてこの MCP 検証サーバーが含まれます。製品ページ：https://verificate.ai/mcp · 公式レジストリ：ai.verificate/mcp

ライセンス

このリポジトリ（stdio ブリッジ、クライアント設定、CI の例）は MIT ライセンスです。自由にご利用ください。 連携先の Verificate 検証エンジンとホスト型ゲートウェイは商用サービスです （30 日間の無料トライアル後はサブスクリプション制）。17 の保護ゲートと最先端モデルによるレビューは サーバー側で実行され、このリポジトリには含まれていません。

Glama

---

🌐 英語以外の言語をお使いですか？ インストール手順：हिन्दी · Português · Bahasa Indonesia · Español · 中文 · Tiếng Việt → INSTALL.md