zk-lens

MCP server (zk-lens) that lowers Circom and Noir circuits into a shared Constraint IR and performs BFS-based signal provenance tracing to detect underconstrained witnesses, a soundness bug class not surfaced by existing ZK tooling.

{
  "mcpServers": {
    "zk-lens": {
      "command": "npx",
      "args": [
        "-y",
        "Dearop/zk-lens"
      ]
    }
  }
}

claude mcp add zk-lens npx -y Dearop/zk-lens

{
  "mcpServers": {
    "zk-lens": {
      "command": "npx",
      "args": [
        "-y",
        "Dearop/zk-lens"
      ]
    }
  }
}