correctover-mcp-server
correctover-mcp-server
CCSネイティブMCPサーバー — 6次元ランタイム検証とフェイルクローズド保証
これは何か?
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 loggingMCPプロトコル準拠
このサーバーは 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 installed
Maintenance
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
AlicenseNot gradedqualityCmaintenanceEnforces 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- AlicenseCqualityBmaintenanceA fail-closed preflight, approval, evidence, and verification runtime for agents, preventing unsupported output from being treated as verified completion.3MIT
- AlicenseNot gradedqualityAmaintenanceDeterministic 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.3MIT
- AlicenseNot gradedqualityCmaintenanceGates agent tool execution with human approval, audit trails, and replay-resistant permits, enabling safe use of tools in agent loops.MIT
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.
Latest Blog Posts
- Who's Calling? MCP Hosts Are an Identity Blind Spot (And the Spec Knows It)By Om-Shree-0709 on .mcpAgent IdentityOAuth 2.1
- Your AI Chatbot Just Exposed Your CEO's Salary to an InternBy Om-Shree-0709 on .Agent IdentityMCP SecurityOAuth Delegation
- Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)By Om-Shree-0709 on .Agentic AiPrompt InjectionWebAssembly
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