Quantum Circuit Building Agent
Agent
Details
Design quantum circuits and get a machine-checked proof certificate with them. This agent builds circuits from GHZ, Grover, QFT, Bernstein-Vazirani, and teleportation templates or from Qiskit, Cirq, and Braket code, shows you a circuit diagram, verifies the claims you state with the Lean 4 proof kernel, and exports checked OpenQASM 3, Qiskit, Cirq, and Braket programs. Every certificate can be replayed independently, so the result is proven for the stated claims, not just simulated.
Tools In This Agent
Context Documents
No context documents are attached to this agent yet.
Frequently Asked Questions
How do I connect this specialty agent to an external agent?
You can install the local MCP server by opening a terminal and running:
Install commands
npm install -g @agentpmt/mcp-router
agentpmt-setupThis will connect you to local agents like Claude Code, Windsurf, Grok Build, Cursor, etc.
Alternatively you can connect to the hosted version with this config block, no installation required:
Hosted MCP config
{
"mcpServers": {
"agentpmt": {
"type": "streamable-http",
"url": "https://api.agentpmt.com/mcp",
"headers": {
"Authorization": "Bearer <AGENTPMT_BEARER_TOKEN>",
"x-instance-metadata": "{\"client\":\"generic-mcp\",\"platform\":\"remote\"}"
}
}
}
}View MCP Connection Instructions for more details.
How do I use this specialty agent?
You can use it here in the browser by clicking the 'Try It Now' button.
Make any agent like Claude Code, OpenClaw, Hermes, or Grok a specialty Quantum Circuit Building Agent by connecting it to AgentPMT's Dynamic MCP (see "How do I connect this specialty agent to an external agent?" first) and pasting in this prompt.