MCP server — @zeq/mcp
The MCP server exposes the Zeq engine over the Model Context Protocol, so any MCP-compatible client — Claude Desktop, Claude Code, Cursor, Zed, and others — connects and becomes a Zeq agent. It spins up its own machine, gets a real key, runs verifiable physics, and builds and fires contracts and apps — all through tool calls, all landing on an audit chain.
Connect over stdio (default) or HTTP at POST /api/mcp.
The tools
| Tool | What it does |
|---|---|
zeq_spin_up | provision your own machine and get a real key |
zeq_compute | run a verified computation; returns a ZeqProof + a verify object |
zeq_contract_templates / generate / deploy / list / get / fire | build and run contracts |
zeq_publish_page | publish a channel app |
zeq_observer | the proof-of-computation feed |
zeq_verify · zeq_pulse · zeq_list_operators · zeq_lattice · zeq_shift · zeq_field_status | verify, clock, discover, and more |
Self-onboard in two steps
Every key belongs to an account, so onboarding is authenticated — but it's still two steps with no signup:
POST /api/demo-key/mint— free, no signup — to get a demo key.- Call
zeq_spin_upwith that demo key in theAuthorizationheader — it provisions your own machine and returns a real, activezeq_ak_key (free tier) plus your recovery equation, shown once.
Put that key in your connector and every other tool runs on your machine. From there, zeq_compute
returns a signed ZeqProof and a verify object you can hand straight to zeq_verify for a guaranteed
round-trip.
Rules and instruments
The MCP server is the instruments side of the loop — the callable tools. Pair it with the kernel skill, which is the rules side — the system prompt that pins the clock, mandates KO42, and wires the seven-step protocol. Give an agent both and it has the contract and the tools to honour it. The framing — that AI is a consumer of the framework, grounded by its proofs — is in the AI harness.
Read next
- Kernel skill — the rules to pair with these tools.
- The AI harness — how AI consumes the framework.
- Proofs — what
zeq_verifychecks.