# Crypto Audit Router

> >

- **Type:** Skill
- **Install:** `agentstack add skill-yue-zhou1-zkcrypto-audit-crypto-audit-router`
- **Verified:** Yes — security-reviewed for prompt injection and unsafe behavior
- **Seller:** [Yue-Zhou1](https://agentstack.voostack.com/s/yue-zhou1)
- **Installs:** 0
- **Category:** [Finance & Payments](https://agentstack.voostack.com/c/finance-and-payments)
- **Latest version:** 0.1.0
- **License:** MIT
- **Upstream author:** [Yue-Zhou1](https://github.com/Yue-Zhou1)
- **Source:** https://github.com/Yue-Zhou1/zkcrypto-audit/tree/main/plugins/core-audit-flow/skills/crypto-audit-router

## Install

```sh
agentstack add skill-yue-zhou1-zkcrypto-audit-crypto-audit-router
```

Requires the [AgentStack CLI](https://agentstack.voostack.com/docs/cli). Works with Claude Code, Cursor, and any MCP-compatible agent.

## About

# crypto-audit-router

Top-level orchestrator for the crypto audit framework.

## When to Use

- Starting a new audit and deciding the execution order
- Choosing between `ecc-pairing-auditor`, `zk-circuit-auditor`, `dkg-threshold-auditor`, `rust-crypto-safety`, or `spec-delta-checker`
- Moving a suspected issue from domain review to verification, reporting, and indexing
- Coordinating multi-skill audits without losing handoff artifacts

## When NOT to Use

- Replacing the domain auditors themselves
- Writing final findings without `crypto-fp-check`
- Querying or writing prior art directly without deciding whether the finding is verified and citable

## Rationalizations to Reject

| Rationalization | Why it is wrong |
|---|---|
| "No ZK code, skip zk-circuit-auditor" | Fiat-Shamir transcripts appear outside ZK circuits too |
| "It's just Rust safety, no crypto-specific review needed" | `rust-crypto-safety` covers timing, zeroize, and `unsafe`, which are crypto-specific |
| "We already ran spec-delta-checker, skip domain audit" | `spec-delta-checker` finds drift; domain auditors find implementation bugs unrelated to the spec |

## Workflow

- Load machine-readable route metadata from `../../../_meta/router-matrix.yaml`
- Load machine-readable skill trigger metadata from `../../../_meta/codex-skill-registry.yaml`
- Read `references/routing-matrix.md` as the human-readable mirror of registry policy
- Execute `workflows/full-audit-flow.md` to keep the end-to-end sequence consistent
- Preserve the output contract from each skill before routing to the next one

## Routing Authority

- Auto-routing eligibility is determined by `trigger_mode` in
  `../../../_meta/codex-skill-registry.yaml`.
- `trigger_mode: router_auto` skills are eligible when predicates match.
- `trigger_mode: user_triggered_only` skills must never be auto-selected.
- `agents/openai.yaml` provides UI/discovery metadata only and does not override
  routing policy.

## Session State Enforcement

- Every handoff must preserve schema validity against
  `zk-findings/sessions/session-state-schema.json`.
- Use `references/state-machine.md` to enforce legal phase transitions and
  mutation boundaries (`open_findings` -> `verified_findings`, `next_steps`
  refresh, closeout checks).
- If any required session-state field is missing, route back to the earliest
  phase that can repair the state before progressing.

## Routing Scope

This router is responsible for sequencing `crypto-audit-context`,
`spec-delta-checker`, the domain auditors, `crypto-fp-check`,
`crypto-report-writer`, and `zkbugs-index`.

## Output Contract

Produce an audit routing plan that includes:

- The chosen skill sequence and why each skill was selected
- The current artifact handed from one phase to the next
- The stop condition for each phase
- The next unresolved branch or escalation point

## Reference Index

- [references/routing-matrix.md](references/routing-matrix.md)
- [references/state-machine.md](references/state-machine.md)
- [workflows/full-audit-flow.md](workflows/full-audit-flow.md)

## Source & license

This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.

- **Author:** [Yue-Zhou1](https://github.com/Yue-Zhou1)
- **Source:** [Yue-Zhou1/zkcrypto-audit](https://github.com/Yue-Zhou1/zkcrypto-audit)
- **License:** MIT

Install and usage instructions live in the source repository linked above.

## Pricing

- **Free** — Free

## Security capabilities

Automated source analysis of v0.1.0 — what this tool can access:

- **Network access:** no
- **Filesystem access:** no
- **Shell / process execution:** no
- **Environment & secrets:** no
- **Dynamic code execution:** no

*"Yes" means the capability is present in the source — more access means more to trust, not that it is unsafe.*


## Versions

- **0.1.0** — security scan: passed — Imported from the upstream source.

## Links

- Listing page: https://agentstack.voostack.com/l/skill-yue-zhou1-zkcrypto-audit-crypto-audit-router
- Seller: https://agentstack.voostack.com/s/yue-zhou1
- Browse the marketplace: https://agentstack.voostack.com/browse

---
Listed on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Creators keep 70%.