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 ID를 브로드캐스트

  • ✅ 스트리밍 가능 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