invinoveritas

invinoveritas — MCP サーバー

ホスト型 MCP サーバーとして提供される、AI エージェント向けの独立したレビューゲートです。エージェントが取り消せない操作（コードのリリース、シェルコマンドの実行、トランザクションへの署名など）を行う前に、review を呼び出して、エージェントではない第三者から中立的なセカンドオピニオンを得ます。さらに、エージェントや私たちを信頼しなくても誰でも再検証できる、再計算可能でビットコインにアンカーされた証明を受け取れます。

エージェントが自分で用意できないのは、自身の出力に対する信頼できる判定です。それを提供します。モデルに依存せず、助言のみを行い（処理をブロックすることはありません）、バイト列から検証できます。

• ホスト型、インストール不要。 リモートの Streamable-HTTP MCP サーバー：https://api.babyblueviper.com/mcp/verify
• サインイン： 対応クライアントでは標準の MCP OAuth（同意画面から無料アカウントを作成できます）、または Bearer ヘッダーで無料の API キーを使用：curl -X POST https://api.babyblueviper.com/register -d '{"label":"mcp"}'
• verify_proof、ledger、payment_receipt は常に無料で、認証も不要です。

ツール

ツール	機能	認証
review	コード差分、シェルコマンド、計画、設定、取引、オンチェーントランザクションに対する独立した判定（approve／approve_with_concerns／reject）を、優先順位付きの問題点と持ち運び可能な署名付き証明とともに返します。	Bearer（有料）
verify_proof	渡された invinoveritas の署名付き証明を再計算して検証し、提示者や私たちを信頼せずに確認できます。	無料
payment_receipt	判定に基づく支払い 1 件の署名付きレシートです。retry_state はオンチェーンで読み取られるため、同じ nonce で二重払いはできません。資金は移動しません。	無料
witness	第三者の正確な主張を、変更も判定もせずにアンカーします。純粋な公証（レシート＋タイムスタンプ＋完全性）であり、私たちの判定を行う review とは異なります。ソースは自己申告であり、署名付き証明にもその旨が記録されます。	Bearer（有料）

このエンドポイントでは、ほかに ledger（無料の公開判定実績）、validate（バックテストによる実態確認）、audit_agent_readiness、ledger_submit、conformance_certify も利用できます。ツールは全部で 9 つあり、サーバーがユーザーの資金や資産を移動することはありません。

エージェントに追加する

Cursor — ワンクリックで追加：invinoveritas を Cursor に追加（最初の有料呼び出し時に OAuth でサインインします）。または、~/.cursor/mcp.json（グローバル）／.cursor/mcp.json（プロジェクト）を編集します：

{
  "mcpServers": {
    "invinoveritas": {
      "url": "https://api.babyblueviper.com/mcp/verify",
      "headers": { "Authorization": "Bearer YOUR_API_KEY" }
    }
  }
}

Cline — MCP マーケットプレイスから追加するか、cline_mcp_settings.json に追加します：

{
  "mcpServers": {
    "invinoveritas": {
      "type": "streamableHttp",
      "url": "https://api.babyblueviper.com/mcp/verify",
      "headers": { "Authorization": "Bearer YOUR_API_KEY" }
    }
  }
}

Gemini CLI — 拡張機能としてインストールします：

gemini extensions install https://github.com/babyblueviper1/invinoveritas-mcp

Claude Code：

claude mcp add --transport http invinoveritas https://api.babyblueviper.com/mcp/verify \
  --header "Authorization: Bearer YOUR_API_KEY"

Devin — Settings → Connections → MCP servers → Add a custom MCP → HTTP (Streamable) を開き、URL https://api.babyblueviper.com/mcp/verify、Auth Header Authorization: Bearer YOUR_API_KEY を設定します。

OpenHands — config.toml：

[mcp]
shttp_servers = [{ url = "https://api.babyblueviper.com/mcp/verify", api_key = "YOUR_API_KEY", timeout = 60 }]

任意の MCP クライアント — https://api.babyblueviper.com/mcp/verify（Streamable HTTP）を指定し、ヘッダー Authorization: Bearer YOUR_API_KEY を設定します。プロトコルは 2025-06-18 です。ハンドシェイク、tools/list、tools/call はそのまま動作します。

使い方

エージェントに、次のように伝えます。PR を開いたり取り消せないコマンドを実行したりする前に、差分／コマンドを artifact として review を呼び出し、artifact_type（code_diff／shell_command／onchain_action／general）を設定して、sign: true を指定します。reject の場合は保留して修正し、approve の場合は証明を添付して、レビュー担当者が再検証できるようにします。

高速ゲートとの併用（例：Jev）

TypeSafe の Jev（コミュニティの jev-mcp サーバーにおける jev_gate）のような高速判定モデルは、すべてのツール呼び出しを数百ミリ秒で審査し、allow／confirm／block を返します。最初の防衛線として有効です。ただし、後から第三者が検証できる独立した判定は提供しません。両方を併用しましょう。通常の呼び出しは高速ゲートに任せ、リスクの高いものや取り消せないものだけを invinoveritas にエスカレーションします。

gate = jev_gate(action=cmd, context=why)             # ~0.3 s, every call
if gate.recommendation == "allow" and not gate.touches_prod:
    run(cmd)                                          # routine: no second opinion needed
elif gate.recommendation == "block":
    stop_and_explain(gate)                            # clear no
else:                                                 # "confirm", or anything touching prod
    v = review(artifact=cmd, artifact_type="shell_command", context=why, sign=True)
    if v.verdict == "reject": stop_and_explain(v.issues)
    else: run(cmd); keep(v.proof)                     # signed proof anyone can verify_proof later

高速ゲートにより、多数の呼び出しでレイテンシとコストを低く抑えられます。重要な少数の呼び出しは署名付き判定でカバーされ、エージェントや私たちのどちらを信頼するかに依存しない記録が残ります。

再計算できる判定の理由

sign: true を指定した review は、公開のビットコインアンカー付き台帳に公開される、BIP-340 署名付きの Nostr イベントの証明を返します。公開鍵を使ってオフラインで検証するには、イベント ID を再計算し、Schnorr 署名を確認します。または、https://api.babyblueviper.com/verify-proof に POST して検証することもできます（無料、認証不要）。私たちではなく、数学を信頼してください。勝敗の両方が公開されます。実績記録はスコアではなく、フォレンジック用の成果物です。

• 自分で証明を再計算する：依存関係ゼロの pip install invinoveritas-verify／npm i invinoveritas-verify
• サーバーカード：https://api.babyblueviper.com/.well-known/mcp/server-card.json

ライセンス

MIT