Skip to content
verify mcp Beta VerifyMCP is currently in beta. If you notice any issues, get in touch and we’ll put it right.

io.github.Correctover/ccs

NPM · CCS-MCP-SERVER · SCANNED SEP 25

Runtime verification MCP server: fail-closed checks for agent tool calls, signed evidence receipts.

Available components

+3 this week 73 Trust /100
Trust breakdown (7 categories)

How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. How we score → Why this is hard to score →

Supply Chain Security100
  • No malware found by supply-chain analysis.Pass
  • No known CVEs affecting this package version or its production dependencies.Pass
  • No install/post-install scripts declared.Pass
  • No production dependencies, so there is no dependency health to assess. View diagnostics → Pass
Provenance & Transparency6
Schema Quality & AI Usability77
  • AI-judged instruction clarity (good).Pass
  • Tool/resource definitions use about 562 tokens (~112/item across 5 items; 5 tools + 0 resources), lean.Pass
  • Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management77
  • Stability observed for 23 of 30 days with no destabilising changes; credit accrues until the full window elapses.Partial
Tool Coverage90
  • 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
  • 69% of tool parameters carry a description.Partial
Tool Safety100
  • No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
  • We read all 5 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
  • An AI judge read all 5 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities100
  • Implements a supported MCP spec version (2025-11-25); the latest is 2026-07-28.Pass
Install

How do I install the io.github.Correctover/ccs MCP server?

io.github.Correctover/ccs runs locally as an npm package, launched with npx -y ccs-mcp-server. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.

npm · ccs-mcp-server

# add to Claude Code
claude mcp add correctover-ccs -- npx -y ccs-mcp-server
// .cursor/mcp.json
{
  "mcpServers": {
    "correctover-ccs": {
      "command": "npx",
      "args": [
        "-y",
        "ccs-mcp-server"
      ]
    }
  }
}
// .vscode/mcp.json
{
  "servers": {
    "correctover-ccs": {
      "command": "npx",
      "args": [
        "-y",
        "ccs-mcp-server"
      ]
    }
  }
}
# add to Codex CLI
codex mcp add correctover-ccs -- npx -y ccs-mcp-server
// opencode.json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "correctover-ccs": {
      "type": "local",
      "command": [
        "npx",
        "-y",
        "ccs-mcp-server"
      ],
      "enabled": true
    }
  }
}
# add to OpenClaw
openclaw mcp add correctover-ccs --command npx --arg -y --arg ccs-mcp-server
# ~/.hermes/config.yaml
mcp_servers:
  correctover-ccs:
    command: "npx"
    args: ["-y", "ccs-mcp-server"]
// ~/.netclaw/config/netclaw.json
{
  "McpServers": {
    "correctover-ccs": {
      "Transport": "stdio",
      "Command": "npx",
      "Arguments": [
        "-y",
        "ccs-mcp-server"
      ]
    }
  }
}
# add to Vellum
assistant mcp add correctover-ccs -t stdio -c npx -a -y ccs-mcp-server
// mcp.json
{
  "mcpServers": {
    "correctover-ccs": {
      "command": "npx",
      "args": [
        "-y",
        "ccs-mcp-server"
      ]
    }
  }
}
Changelog

Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.

  • 25 Sept 26 +1
    • We updated how we score, so this day's move reflects our rubric, not a change to the server See what changed → functional
  • 22 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 63 to 67. That category is still filling its 30-day observation window: 19 days of observed history at the previous scan, 20 at this one. The score rises as the window fills, whether or not the server changes.

  • 20 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 57 to 60. That category is still filling its 30-day observation window: 17 days of observed history at the previous scan, 18 at this one. The score rises as the window fills, whether or not the server changes.

  • 18 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 50 to 53. That category is still filling its 30-day observation window: 15 days of observed history at the previous scan, 16 at this one. The score rises as the window fills, whether or not the server changes.

  • 16 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 43 to 47. That category is still filling its 30-day observation window: 13 days of observed history at the previous scan, 14 at this one. The score rises as the window fills, whether or not the server changes.

  • 14 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 37 to 40. That category is still filling its 30-day observation window: 11 days of observed history at the previous scan, 12 at this one. The score rises as the window fills, whether or not the server changes.

  • 12 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 30 to 33. That category is still filling its 30-day observation window: 9 days of observed history at the previous scan, 10 at this one. The score rises as the window fills, whether or not the server changes.

  • 10 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 23 to 27. That category is still filling its 30-day observation window: 7 days of observed history at the previous scan, 8 at this one. The score rises as the window fills, whether or not the server changes.

Diagnostics

Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.

Captured 25 Sept 2026 · Analysed npm/ccs-mcp-server@1.2.7

Provenance No attestation

The registry publishes no build provenance for this version, so there is nothing to verify.

Result No attestation
Ecosystem npm

Background: How many MCP packages publish verified provenance →

Dependencies 0 packages
Packages resolved 0
Tree resolution Complete

Background: SBOMs and build attestations, explained →

MCP tools · 5 exposed · ~562 tokens

The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →

Tool Tokens
audit_mcp_config ~56

Audit an MCP client/server configuration JSON for security risks: plain HTTP, weak secrets, disabled TLS, missing commands. Returns structured issues with severity.

NameTypeReqDescription
configobjectyesMCP configuration JSON (e.g. Claude Desktop config)

No output schema declared.

No examples provided.

issue_evidence ~84

Issue a CCS evidence record for a tool call. Evidence is cryptographically bound (content_hash + evidence_hash), tamper-evident, independently verifiable. Issued for allowed AND denied calls.

NameTypeReqDescription
argumentsobject––
callerobjectyes–
metadataobject––
policyobject––
toolstringyes–

No output schema declared.

No examples provided.

verify_intent_binding ~107

Verify that actual tool call arguments match a declared intent with zero tolerance. Catches cross-model parameter drift (planner says amount=100, executor writes amount=10000). No LLM needed — pure deterministic comparison. Supports exact match, numeric tolerance, and regex pattern binding modes.

NameTypeReqDescription
argumentsobjectyesActual tool call arguments
intentobjectyesStructured intent declaration from the agent framework
toolstringyesTool being called, e.g. payments.send

No output schema declared.

No examples provided.

verify_receipt ~148

Offline-verify a CCS Ed25519-signed receipt. Auditors call this with a receipt JSON produced by issue_evidence or verify_intent_binding; it checks the signature against the embedded signer_public_key and reports whether the body was tampered with. Optionally pin an expected signer public key (PEM string or sha256: fingerprint) to reject receipts from untrusted signers.

NameTypeReqDescription
expected_signerstring–Optional. Either the expected PEM public key, or a sha256:<hex> fingerprint of the DER SPKI public key.
receiptobjectyesThe signed receipt object (must include signer_public_key, signature_alg, signature, and the signed body fields).

No output schema declared.

No examples provided.

verify_tool_call ~167

Verify an AI agent tool call against CCS 7 dimensions (Structure, Schema, Security, Identity, Integrity, Latency, Cost) plus semantic attack-chain analysis and math overflow detection. Returns verdict (allowed/denied) with detailed findings. DEFAULT MODE BLOCKS UNSAFE CALLS.

NameTypeReqDescription
argumentsobject–Tool call arguments to verify
callerobject–Caller identity, e.g. {agent_id: 'agent-001'}
metadataobject–Optional metadata (execution_time_us, cost, request_id, etc.)
policyobject–Optional CCS policy override (allowed_tools, denied_tools, mode, budgets, etc.)
toolstringyesTool name as namespace.action, e.g. 'shell.exec' or 'read.file'

No output schema declared.

No examples provided.

Common questions

What is the io.github.Correctover/ccs MCP server?

io.github.Correctover/ccs is an MCP server listed in the public MCP registry as io.github.Correctover/ccs. Runtime verification MCP server: fail-closed checks for agent tool calls, signed evidence receipts. This page covers its npm package (ccs-mcp-server).

Is the io.github.Correctover/ccs MCP server safe to use?

io.github.Correctover/ccs scores 73 out of 100 on VerifyMCP. We found no known CVEs affecting it as of 25 September 2026. It declares no install or post-install scripts. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.

What tools does the io.github.Correctover/ccs MCP server expose?

io.github.Correctover/ccs exposes 5 tools: verify_tool_call, issue_evidence, audit_mcp_config, verify_intent_binding, verify_receipt. Their descriptions and schemas cost roughly 562 tokens of context every time the server is loaded.

Is the io.github.Correctover/ccs MCP server still maintained?

io.github.Correctover/ccs is still listed as active in the MCP registry. We last reached this channel on 25 September 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.

What licence is the io.github.Correctover/ccs MCP server under?

io.github.Correctover/ccs declares the Elastic-2.0 licence, which is not on the OSI-approved list. Read the terms before using it at work, and note this covers the source only, not the cost of any service it calls.