invinoveritas

invinoveritas — MCP 服务

作为托管 MCP 服务，为 AI Agent 提供独立的审核关卡。在 Agent 执行不可逆操作之前——例如发布代码、运行 Shell 命令或签署交易——它会调用 review，从不是该 Agent 的一方获得中立的第二意见，并收到一份可重新计算、锚定于 Bitcoin 的证明。任何人都可以在不信任该 Agent 或我们的情况下重新验证此证明。

Agent 无法自行获取的，正是对自身输出的可信判定。这就是这份判定——与模型无关、仅供参考（不会阻止操作），并且可以根据字节进行验证。

• 托管服务，无需安装。 远程 Streamable-HTTP MCP 服务：https://api.babyblueviper.com/mcp/verify
• 登录： 在支持 OAuth 的客户端中使用标准 MCP OAuth（可在授权页面创建免费账户），或使用免费的 API 密钥作为 Bearer 标头：curl -X POST https://api.babyblueviper.com/register -d '{"label":"mcp"}'
• verify_proof、ledger 和 payment_receipt 始终免费，无需身份验证。

工具

工具	功能	身份验证
review	对代码差异、Shell 命令、计划、配置、交易或链上交易提供独立判定（approve / approve_with_concerns / reject），并附上按优先级排序的问题和可移植的签名证明。	Bearer（付费）
verify_proof	重新计算并验证他人提供的已签名 invinoveritas 证明，无需信任提供者或我们即可确认其有效性。	免费
payment_receipt	为一笔由判定控制的付款提供签名收据。retry_state 会从链上读取，因此同一 nonce 无法重复付款。不会转移资金。	免费
witness	锚定第三方未经修改、未经判定的原始声明字节——仅进行公证（收据 + 时间戳 + 完整性），不同于 review（我们的判定）。来源由提交者自行声明，并在签名证明中注明这一点。	Bearer（付费）

此端点还提供：ledger（免费的公开判定记录）、validate（回测现实检验）、audit_agent_readiness、ledger_submit、conformance_certify。共 9 个工具；该服务绝不会为用户转移资金或资产。

添加到你的 Agent

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 marketplace 添加，或在 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 均可开箱即用。

使用方法

告诉你的 Agent：在创建 PR 或运行不可逆命令之前，调用 review，将差异/命令作为 artifact 传入，设置 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

快速门禁能以较低的延迟和成本处理大量调用；签名判定则覆盖少数重要调用，并留下无需信任 Agent 或我们的记录。

为什么要提供可重新计算的判定结果

review 配合 sign: true 会返回一份证明，该证明是由 BIP-340 签名的 Nostr 事件，并发布到一个由比特币锚定的公开账本。你可以使用我们公布的密钥离线验证——重新计算事件 ID 并检查 schnorr 签名——也可以将其 POST 到 https://api.babyblueviper.com/verify-proof（免费，无需身份验证）。相信数学，而不是我们。胜利和失败都会发布；记录是取证材料，不是评分。

• 自行重新计算证明：零依赖 pip install invinoveritas-verify / npm i invinoveritas-verify
• 服务卡片：https://api.babyblueviper.com/.well-known/mcp/server-card.json

许可证

MIT