zkzkMCP
Development

Testing

Static gates, package tests, Compact compilation, and end-to-end proof validation.

Repository quality gate

npm run foundation:check

This executes:

Ultracite / Biome
→ TypeScript builds
→ workspace tests
→ Compact compilation

Core tests

@zkmcp/core tests cover stable error codes, retryability, safe presentation, policy-denial collapsing, logging allowlists, and evlog redaction.

Gateway tests

@zkmcp/gateway uses MCP's own in-memory transport to verify:

  • authorized calls reach the upstream handler
  • denied calls do not
  • receipt metadata is attached
  • resource and numeric normalization work
  • approval comes from trusted metadata rather than agent arguments
  • malformed protected requests fail before proving

Midnight end-to-end

npm run test:midnight

This requires the local Midnight stack and exercises real proofs/transactions against the Compact contract.

Full MCP + Midnight path

npm run demo:gateway

This is the strongest integration check because it uses real stdio MCP transport plus the real Midnight authorization backend and an upstream MCP server.

On this page