zk-circuit-auditor-mcp
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| CYSIC_MODEL | No | Model id. | minimax-m3 |
| CYSIC_API_KEY | No | Bearer token for the Cysic API. If not provided, server falls back to offline rule-based auditor. | |
| CYSIC_BASE_URL | No | OpenAI-compatible base URL. | https://token-ai.cysic.xyz/v1 |
| CYSIC_TIMEOUT_MS | No | Per-request timeout in milliseconds. | 60000 |
Capabilities
Features and capabilities supported by this server
| Capability | Details |
|---|---|
| tools | {
"listChanged": true
} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| audit_circuitA | Audit a ZK circuit (Circom, Noir, or Halo2) for soundness and constraint bugs. Returns structured findings, a summary, and a 0-100 soundnessScore. Each finding is tagged with a ZK Weakness Classification id (ZKWC-001..015). |
| check_constraintA | Targeted check for a single reviewer's concern (e.g. 'is the output |
| explain_circuitA | Plain-English explanation of a ZK circuit: what it proves, its public/private signals, and a signal -> constraint map. Useful for onboarding reviewers. |
| suggest_constraintsA | Propose the minimal set of additional constraints (or, in Noir/Halo2, code-level additions) to make the circuit sound. Returns code snippets tagged with ZK Weakness Classification ids. |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
Latest Blog Posts
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/uitkhoanna/zk-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server