Interface

MCP

Model Context Protocol

An open protocol for connecting AI applications (like Claude or Cursor) to external tools and data sources over a standard initialize → tools/list → tools/call handshake.

In this repo: prove and verify exposed as real MCP tools via the rmcp crate, on their own port (4478) rather than nested onto the HTTP API. See Connecting Claude to a Real STARK Prover via MCP.