hrevn-mcp-server

HREVN MCP 服务

面向 HREVN 的精简 stdio MCP 服务，由在线托管运行时 https://api.hrevn.com 提供支持。

存在的意义

此仓库将 HREVN 封装为真正的 MCP 工具，而不是临时编写的辅助脚本。 它刻意保持精简：

• 核心语义仍由 HREVN 托管运行时负责
• MCP 层仅暴露稳定的工具契约
• 重要结果以结构化输出的形式返回，包括 risk_flags、remedy_payload 和 check_id

包含的工具

• baseline_check
• profile_validate
• generate_bundle
• verify_bundle

环境

export HREVN_API_BASE_URL="https://api.hrevn.com"
export HREVN_API_KEY="replace-with-issued-alpha-key"

可选环境变量：

• HREVN_MCP_TIMEOUT_SECONDS
• HREVN_MCP_SERVER_NAME
• HREVN_MCP_SERVER_VERSION

安装

可编辑安装

cd hrevn-mcp-server
python3 -m pip install -e .

从 PyPI 安装

python3 -m pip install hrevn-mcp-server

控制台入口点为：

hrevn-mcp-server

运行

hrevn-mcp-server

此服务使用 MCP stdio 传输方式。

使用客户端前先验证

hrevn-mcp-server --version
hrevn-mcp-server --list-tools
hrevn-mcp-server --self-test

如果直接从源代码运行，且未安装入口点：

PYTHONPATH=src python3 -m hrevn_mcp_server.server --list-tools
PYTHONPATH=src python3 -m hrevn_mcp_server.server --self-test

自检会针对配置的 HREVN 托管 API 运行一次在线 baseline_check。

工具契约

baseline_check

最简载荷：

{
  "task_type": "ai_workflow",
  "profile": "eu_readiness_profile",
  "record": {
    "agent_name": "example_agent",
    "summary": "baseline smoke test"
  },
  "metadata": {
    "surface": "mcp",
    "stage": "pre_completion"
  }
}

profile_validate

最简载荷：

{
  "profile": "eu_readiness_profile",
  "record": {},
  "metadata": {}
}

generate_bundle

最简载荷：

{
  "record": {},
  "traces": [],
  "options": {
    "include_report_pdf": false
  }
}

verify_bundle

最简载荷：

{
  "source": "/path/to/bundle-or-artifact"
}

MCP 配置示例

使用如下本地 stdio 配置：

{
  "mcpServers": {
    "hrevn": {
      "command": "python3",
      "args": [
        "-m",
        "hrevn_mcp_server.server"
      ],
      "env": {
        "PYTHONPATH": "/ABSOLUTE/PATH/TO/hrevn-mcp-server/src",
        "HREVN_API_BASE_URL": "https://api.hrevn.com",
        "HREVN_API_KEY": "YOUR_HREVN_API_KEY"
      }
    }
  }
}

另请参阅：

• Antigravity 设置指南
• 保守实验指南
• Antigravity MCP 配置示例
• Antigravity 基线载荷

Antigravity 状态

目前已可通过自定义 MCP 配置，在 Google Antigravity 中试验性地探索 HREVN。

已验证的内容：

• HREVN MCP 服务可在本地运行
• 服务提供由 https://api.hrevn.com 支持的真实工具
• baseline_check 会返回真实的结构化结果
• Antigravity 预览版会在 UI 中提供 MCP 配置界面

目前尚未声称的内容：

• 官方原生 Antigravity 集成
• 保证将 MCP 工具注入每个 Antigravity Agent 实例
• 除直接观察到的内容外，提供 Antigravity 专属的护栏钩子

注册表元数据

此仓库包含：

• server.json

这是一个机器可读清单，用于描述 MCP 服务、软件包、传输方式和仓库元数据。

设计规则

此服务不得在本地重新实现 HREVN 的事实逻辑。 它应暴露调用托管 API 的稳定 MCP 工具。