smithery/noir-lang

1

bisect-ssa-pass Workflow for debugging SSA pass semantic preservation using the noir-ssa CLI. Use when a program's behavior changes i…

smithery/noir-lang

0

2

debug-fuzzer-failure End-to-end workflow for debugging SSA fuzzer failures from CI. Regenerates a reproduction from the CI seed with `just…

smithery/noir-lang

0

3

extract-fuzzer-repro Reproduce an AST-fuzzer failure locally from its CI seed. Use when a CI fuzzer test (e.g. `pass_vs_prev`) fails and y…

smithery/noir-lang

0

4

noir-idioms Guidelines for writing idiomatic, efficient Noir programs. Use when writing or reviewing Noir code.

smithery/noir-lang

0

5

noir-optimize-acir Workflow for measuring and optimizing the ACIR circuit size of a constrained Noir program. Use when asked to optimize…

smithery/noir-lang

0