# 0gzk MCP server

Agent View of the PolicyLayer registry record for 0gzk: identity, probed posture, risk grade, and all 8 tools classified. HTML page: https://policylayer.com/tools/0gzk-mcp

## Facts

- Server id: `@0gzk/mcp`
- Install: `npx -y @0gzk/mcp`
- Homepage: https://www.npmjs.com/package/@0gzk/mcp
- Registry record: grade B, identity unverified
- Lifecycle: active
- Rate-limited: no
- Tools: 8 (8 with introspected schema)
- Tool categories present: Read, Write
- Context-window cost: 1493 tokens per request — https://policylayer.com/token-cost/0gzk-mcp
- Tags: 0gzk mcp
- Record last modified: 2026-09-02T07:43:40.290Z

## Tools (8)

| Tool | Category | Risk | Record |
| --- | --- | --- | --- |
| `get_circuit` | Read | Low | https://policylayer.com/tools/0gzk-mcp/get-circuit.md |
| `get_example_input` | Read | Low | https://policylayer.com/tools/0gzk-mcp/get-example-input.md |
| `list_circuits` | Read | Low | https://policylayer.com/tools/0gzk-mcp/list-circuits.md |
| `prove_circuit` | Read | Low | https://policylayer.com/tools/0gzk-mcp/prove-circuit.md |
| `read_input_file` | Read | Low | https://policylayer.com/tools/0gzk-mcp/read-input-file.md |
| `search_circuits` | Read | Low | https://policylayer.com/tools/0gzk-mcp/search-circuits.md |
| `validate_inputs` | Read | Low | https://policylayer.com/tools/0gzk-mcp/validate-inputs.md |
| `resolve_circuit` | Write | Medium | https://policylayer.com/tools/0gzk-mcp/resolve-circuit.md |

## Tool descriptions

- `get_circuit` — Get the full record for one circuit: metadata (inputs/outputs), constraints, example input, publications, and how to prove with it. Unknown names can be resolved from a live registry and their published bundle fetched into the local cache.
- `get_example_input` — Get the committed example_input.json for a catalog circuit — the fastest way to see a valid input shape.
- `list_circuits` — List known circuits. source=catalog lists the local repo catalog (name/version/description/tags/publications); source=registry pages through the live on-chain registry for a chain.
- `prove_circuit` — Generate a Groth16 proof (and locally verify it) for a circuit, optionally saving the artifacts to disk. Bundle source: a repo circuit's circuit_bundle/ by name (falling back to the published registry bundle), an explicit bundleDir, or a…
- `read_input_file` — Read a JSON file of circuit inputs from the user's machine so it can be validated and proved. Returns only the SIGNAL NAMES and value types found — never the values themselves, which stay local. Use it when a user references a file inste…
- `search_circuits` — Search 0gzk ZK circuits by natural-language query (matched against names, tags, keywords, use cases, and descriptions). In repo mode this searches the local catalog; without a repo it falls back to substring-matching circuit names on a l…
- `validate_inputs` — Check a set of user-supplied circuit inputs against the circuit's declared signal schema WITHOUT proving. Returns {valid, errors, schema}. Call this before prove_circuit whenever the user supplies values: it is instant, it never download…
- `resolve_circuit` — Resolve a "name" or "name@version" spec against the on-chain registries and report the published record per chain (rootHash, vkeyHash, verifier, publisher, publishedAt).

## For agents

This record is a snapshot. Live verdicts and the full registry:

- Check every server in your MCP config at once: `npx -y policylayer stack`
- Vet a server before you add it: install the mcp-precheck skill — `npx skills add https://policylayer.com` (skill text: https://policylayer.com/skill.md)
- Query the registry over MCP: endpoint `https://api.policylayer.com/mcp` — tools `check_mcp_server`, `check_mcp_stack`, `check_tool`, `search_registry`, `get_change_events`

---

Source: the PolicyLayer MCP registry — one continuously verified record per MCP server. Full record: https://policylayer.com/registry?q=0gzk-mcp · API: https://policylayer.com/registry/api · Recommended policies for every tool: https://policylayer.com/policies/0gzk-mcp