noir-langOfficial·9 Agent Skills Included

noir

Debug, test, and optimize the Noir zero-knowledge compiler

Guides AI agents through debugging and testing the Noir zero-knowledge proof compiler. Bisects SSA optimization passes, reproduces fuzzer failures from CI seeds, and minimizes crash cases automatically. Enforces strict test-writing standards and circuit optimization workflows so compiler fixes ship faster with fewer regressions.

1,394|409

↗

npx skills add noir-lang/noir --all -g -y

Available:

Gives the AI agent the Noir compiler's architecture map, build and test commands, and strict red-green-refactor testing rules so it can modify the codebase correctly.

All Skills in This Repository (9)

Pure Emerald Level Indicators

📦 In Repo

noir-lang

debug-fuzzer-failure

Extract SSA fuzzer reproductions from GitHub Actions logs and bisect passes.

bisect-ssa-pass

Bisect SSA optimization passes in Noir projects to locate semantic regressions.

noir-idioms

Evaluates TypeScript code for common syntax and semantics errors.

noir-optimize-acir

Optimize ACIR circuit size for Noir programs using nargo and bb.

extract-fuzzer-repro

Convert GitHub Actions fuzzer failure logs into a minimal Noir reproduction project.

reduce-ssa-repro

Minimizes SSA files that trigger noir-ssa pipeline bugs into smallest reproduction cases.

design-docs

Guides writing and maintaining design decision records for the Noir language and compiler.

noir-ssa-tests

Write unit tests for SSA optimization passes in the Noir compiler's noirc_evaluator.

noir-frontend-tests

Guides writing unit tests for the noirc_frontend compiler crate in Rust.

Official

Intermediate

Frequently Asked Questions

FAQPage Schema

How to install Noir skills?▼

Run `npx skills add noir-lang/noir --all -g -y` in your terminal to install all skills in this suite globally.

How to debug a Noir compiler fuzzer failure?▼

The debug-fuzzer-failure skill regenerates the failing program from its CI seed, then bisects SSA passes to pinpoint the exact optimization that breaks semantics.

How to reduce a Noir SSA crash to a minimal case?▼

The reduce-ssa-repro skill automatically strips unused instructions and collapses branches while verifying the crash still reproduces, producing the smallest possible test case.

How to optimize a Noir circuit's gate count?▼

The noir-optimize-acir skill walks through measuring circuit size with bb gates and applying proven techniques like hint-and-verify, one measured change at a time.

Do these skills work with Claude Code?▼

Yes. All skills follow the standard SKILL.md format and run directly inside Claude Code and other compatible AI coding agents.