Skip to main content
Glama
deenesjakoruzh
DSHCorrectover

correctover-mcp-server

by DSHCorrectover
OverviewSchemaSourceRelated ServersDiscussionsAdmin
JavaScript
Remote

correctover-mcp-server

CCSネイティブMCPサーバー — 6次元ランタイム検証とフェイルクローズド保証

Version MCP Protocol CCS License

これは何か？

correctover-mcp-server は、CCS（Correctover Conformance Standard）ランタイム検証をプロトコル層に直接組み込んだMCP（Model Context Protocol）サーバーです。すべてのツール呼び出しは、実行前に6次元で検証されます。検証に失敗した場合、アクションは決して実行されません（フェイルクローズド）。

これはオブザーバーパターンのガバナンスフックではありません。プロトコルレベルの保証です。

Related MCP server: agent-trust-firewall

アーキテクチャ

┌─────────────────────────────────────────────────────┐
│                    MCP Client                         │
│   (any MCP 2026-07-28 compliant client)              │
├─────────────────────────────────────────────────────┤
│              Streamable HTTP Transport                │
│   (POST /mcp, _meta version negotiation)             │
─────────────────────────────────────────────────────┤
│           CCS Runtime Verification                    │
│   ┌──────────┬──────────┬──────────┬──────────┐     │
│   │ Structure│  Schema  │  Latency │   Cost   │     │
│   │ Verifier │ Validator│  Monitor │  Monitor │     │
│   ├──────────┼──────────┼──────────┼──────────┤     │
│   │ Identity │ Integrity│  Policy  │ Failover │     │
│   │ Tracker  │  Checker │  Engine  │  Engine  │     │
│   └──────────┴──────────┴──────────┴──────────┘     │
│   ANY dimension fails → Action BLOCKED (never runs)  │
├─────────────────────────────────────────────────────┤
│                  Tool Execution                       │
│   (only reached if ALL 6 dimensions pass)            │
└─────────────────────────────────────────────────────┘

6次元検証

次元

検証内容

失敗モード

構造

リクエストが有効な構造、プロトコルバージョン、メソッドを持つ

不正なリクエストは拒否

スキーマ

入力が期待されるツールスキーマと一致する

無効な入力は拒否

レイテンシ

予算内での検証（P50<10μs、P99<25μs）

タイムアウト→フェイルクローズド

コスト

リソース使用量が制限内である

予算超過→ブロック

アイデンティティ

クライアントが追跡可能（clientInfoが存在する）

追跡不能→拒否

整合性

リクエストが完全で空でない

破損→拒否

クイックスタート

インストール

git clone https://github.com/Correctover/correctover-mcp-server.git
cd correctover-mcp-server
npm install

実行

# Development
npm run dev

# Production
npm run build
npm start

設定

# Environment variables
export MCP_PORT=3000          # Default: 3000
export MCP_HOST=127.0.0.1     # Default: 127.0.0.1
export CCS_AUDIT=true         # Enable audit logging

MCPプロトコル準拠

このサーバーは MCP 2026-07-28（モダンのみ） を実装しています：

  • ✅ server/discover — プロトコルバージョン、機能、CCSアイデンティティをブロードキャスト

  • ✅ ストリーミング可能なHTTPトランスポート（POST /mcp）

  • ✅ リクエストごとの _meta バージョン交渉（initializeハンドシェイクなし）

  • ✅ すべてのレスポンスに resultType（complete / input_required）

  • ✅ ヒューマンインザループのためのMRTRパターン（InputRequiredResult）

  • ✅ 変更通知のための subscriptions/listen

  • ✅ ttlMs + cacheScope を持つ CacheableResult

  • ✅ 標準ヘッダー（Mcp-Method、Mcp-Name、MCP-Protocol-Version）

  • ❌ initialize ハンドシェイクなし（モダンのみ、デュアルエラなし）

  • ❌ HTTP+SSEトランスポートなし（非推奨）

利用可能なツール

ccs_verify

エージェントアクションに対して6次元ランタイム検証を実行します。

{
  "agent_id": "agent-123",
  "action_type": "tool_call",
  "tool_name": "search_web",
  "tool_input": { "query": "test" }
}

ccs_evidence_hash

監査チェーン封印のための整合性エビデンスハッシュを生成します。

{
  "action_id": "action-456",
  "result": { "output": "verified" },
  "verifier_id": "ccs"
}

ccs_status

CCSランタイムのステータスとパフォーマンス統計を取得します。

利用可能なリソース

  • ccs://policy/default — デフォルトの検証ポリシー設定

  • ccs://status/runtime — リアルタイムのランタイム統計

  • ccs://config/verifier — 検証器の設定（レイテンシ予算、コスト制限）

CCS拡張

このサーバーは server/discover を介してCCS拡張をアドバタイズします：

{
  "extensions": {
    "io.modelcontextprotocol/ccs": {
      "version": "1.0.0",
      "dimensions": ["structure", "schema", "latency", "cost", "identity", "integrity"],
      "failClosed": true,
      "maxOverheadUs": 25
    }
  }
}

Haloとの統合

ccs_evidence_hash ツールは、Haloの verification ブロック（v0.2.30+）と互換性のあるハッシュを生成し、封印された監査チェーンを可能にします：

{
  "verification": {
    "status": "verified",
    "verifier": "ccs",
    "policy_ref": "default",
    "checked_at": "2026-08-03T12:00:00Z",
    "evidence_hash": "0x..."
  }
}

パフォーマンス

  • P50検証レイテンシ: < 10μs

  • P99検証レイテンシ: < 25μs

  • フェイルクローズド保証: いずれかの次元が失敗した場合、アクションはブロックされます

開発

# Build
npm run build

# Test
npm test

# Lint
npm run lint

# Format
npm run format

ライセンス

MIT

参照

This server cannot be deployed

One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

Maintenance

ActivityMaintained
ResponsivenessNo issues

Resources

Related MCP Connectors

Related MCP Servers

  • TruthGate

    ay7627514-dotcom
    A
    license
    C
    quality
    B
    maintenance
    A fail-closed preflight, approval, evidence, and verification runtime for agents, preventing unsupported output from being treated as verified completion.
    3
    MIT

  • agent-trust-firewall

    krishnashahane
    A
    license
    Not graded
    quality
    B
    maintenance
    Enables AI agents to securely invoke tools by enforcing identity proof, capability verification, and risk scoring on every request, blocking unsafe calls before they execute.
    MIT
  • ERDL Guard by OpenOBA

    ERDL Guardofficial

    OpenOBA
    A
    license
    Not graded
    quality
    A
    maintenance
    Enforces deterministic policy decisions on AI agent tool calls, supporting allow, deny, correct, escalate, and human review actions with verifiable audit receipts.
    9 npm
    MIT

  • Agent Action Preflight v1

    jinen-project
    A
    license
    C
    quality
    C
    maintenance
    Enables an AI agent to preflight concrete tool calls by recording principal, destination, scope, authority evidence, and relations, allowing only formed actions to execute and producing inspectable evidence receipts.
    1
    MIT