# Noir Developer

> Develop Noir (.nr) codebases. Use when creating a project or writing code with Noir.

- Skill: `kbarbel640-del/noir-developer` (Agent Skill, multi-file: 3 files)
- Install (CLI): `npx skillmds@latest add kbarbel640-del/noir-developer`
- Raw SKILL.md: https://api.skillmd.com/api/skills/kbarbel640-del/noir-developer/raw
- Safety review: pending (external: skill-scanner PASS, skillspector PASS)
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: kbarbel640-del (https://skillmd.com/u/kbarbel640-del)
- Updated: 2026-09-08
- Page: https://skillmd.com/skills/kbarbel640-del/noir-developer

---


# Noir Developer

## Workflow

1. Compile (`nargo compile`) Noir program into ACIR.
2. Generate witness (`nargo execute` or NoirJS execute) based on ACIR and user inputs.
3. Prove using ACIR and witness with the selected proving backend.
4. Verify proof with the selected proving backend.

## Task Patterns

### Environment

If the environment is unsupported by `nargo` (e.g. native Windows), guide the user to using GitHub Codespaces (https://noir-lang.org/docs/tooling/devcontainer#using-github-codespaces) or a supported setup (WSL, Docker, or VM).

### Plan

Define private inputs, public inputs (if any), and public outputs (if any) for each Noir program.

### Project Creation

When creating a Noir project, use `nargo new` or `nargo init` to scaffold it.

### Compilation

Use `nargo` (not `noir_wasm`) for compilation; it is the maintained path.

### Validation

Run `nargo test` to validate Noir implementations.

### Proving Backend

Confirm the proving backend choice before implementation details. If the user selects Barretenberg, read `references/barretenberg.md`.

## References

- Run `nargo --help` for the full list of commands.
- Read https://noir-lang.org/docs/ for language syntax, dependencies, and tooling.
- Proving backends:
  - For Barretenberg specifics, read `references/barretenberg.md`.