# zk-circuit-auditor-mcp

> Use this tool when you need to verify the soundness and identify constraint bugs in zero-knowledge circuits, such as those built with Circom, Noir, or Halo2. It audits circuits and provides outputs on their validity, taking circuit code as input and returning audit reports. Ideal for use cases requiring secure and reliable zero-knowledge proof generation, such as in cryptographic applications and blockchain development.

Canonical page: https://skillsregistry.net/skills/uitkhoanna-zk-mcp  
JSON: https://api.skillsregistry.net/v1/skills/uitkhoanna-zk-mcp

## Description

An MCP server that audits zero-knowledge circuits (Circom, Noir, Halo2) for soundness and constraint bugs, powered by the Cysic Minimax model.

## Trust

- **Trust score (0–1):** 0.68
- **Verification tier:** scanned
- **Last scanned:** 2026-09-01

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** other
- **Updated:** 2026-09-01

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/j4u05pc19s)
- **Repository:** <https://github.com/uitkhoanna/zk-mcp>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "uitkhoanna-zk-mcp"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/uitkhoanna-zk-mcp` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/uitkhoanna-zk-mcp/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt