hrevn-mcp-server

HREVN MCP サーバー

HREVN 向けの最小限の stdio MCP サーバーです。ライブのマネージドランタイム https://api.hrevn.com を利用します。

このサーバーの目的

このリポジトリは、場当たり的なヘルパースクリプトではなく、実際の MCP ツールとして HREVN を公開します。 意図的に薄いレイヤーにとどめています。

• 正式なセマンティクスは 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 のステータス

HREVN は、カスタム MCP 設定を通じて Google Antigravity で実験的に利用できる状態です。

検証済みの内容：

• HREVN MCP サーバーがローカルで動作します
• サーバーは https://api.hrevn.com をバックエンドとする実際のツールを公開します
• baseline_check は実際の構造化結果を返します
• Antigravity のプレビュー版ビルドでは、UI に MCP 設定項目が表示されます

現時点で主張していない内容：

• Antigravity との公式なネイティブ統合
• すべての Antigravity エージェントインスタンスへの MCP ツール注入の保証
• 直接確認できた範囲を超える、Antigravity 固有のガードレールフック

レジストリメタデータ

このリポジトリには次のファイルが含まれます。

• server.json

このファイルは、MCP サーバー、パッケージ、トランスポート、リポジトリのメタデータを記述する、機械可読なマニフェストです。

設計ルール

このサーバーは、HREVN の真実をローカルで再実装してはなりません。 マネージド API を呼び出す安定した MCP ツールを公開する必要があります。