Skip to main content
Glama
DSHCorrectover

correctover-mcp-server

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: TruthGate

アーキテクチャ

┌─────────────────────────────────────────────────────┐
│                    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ハンドシェイクなし)

  • ✅ すべてのレスポンスに resultTypecomplete / input_required

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

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

  • ttlMs + cacheScope を持つ CacheableResult

  • ✅ 標準ヘッダー(Mcp-MethodMcp-NameMCP-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

参照

F
license - not found
Not graded
quality - not tested
B
maintenance

Maintenance

Maintainers
Response time
Release cycle
Releases (12mo)
Commit activity

Resources

Unclaimed servers have limited discoverability.

Looking for Admin?

If you are the server author, to access and configure the admin panel.

Related MCP Servers

  • A
    license
    Not graded
    quality
    C
    maintenance
    Enforces deterministic policies on AI agent tool calls, evaluating actions against compliance modules (SOC 2, HIPAA, GDPR, etc.) and returning ALLOW, BLOCK, or CONSTRAIN decisions with an audit trail.
    MIT
  • 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
  • A
    license
    Not graded
    quality
    A
    maintenance
    Deterministic policy enforcement for AI agent tool calls. It evaluates every tool call against user-defined rules before execution, with no LLM in the authorization path.
    3
    MIT

View all related MCP servers

Related MCP Connectors

  • Runtime permission, approval, and audit layer for AI agent tool execution.

  • See, price, and control every tool call your AI agents make: policy checks, cost, and audit tools.

  • Pre-action attestation perimeter for AI agents — 8 primitives, signed C18 receipt per call.

View all MCP Connectors

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/DSHCorrectover/ccs-mcp-server'

If you have feedback or need assistance with the MCP directory API, please join our Discord server