TinyZKP
io.github.logannye/tinyzkp
Hosted MCP server for STARK proof receipts. Agents mint receipts and verify proofs for free.
Install surfaces
How TinyZKP runs, per the official MCP registry entry.
- streamable-http
https://mcp.tinyzkp.com
Governed execution
How KLA gates calls to TinyZKP once it is connected.
A published policy defines which TinyZKP actions an agent may take and under what conditions. Each call passes through a policy gate at the tool-call boundary. Permitted actions execute, with the policy basis recorded. Flagged actions execute and are sampled for scheduled human review. High-stakes actions pause and route to a named reviewer on the Decision Desk. The call, the policy decision, and any approval are sealed as an evidence record.
KLA also governs the agent frameworks and model providers you already run. See integrations.