noir-mcp-server
OfficialClick on "Install Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type
@followed by the MCP server name and your instructions, e.g., "@noir-mcp-serverSearch the standard library for pedersen hash"
That's it! The server will respond to your query, and you can continue using it as needed.
Here is a step-by-step guide with screenshots.
noir-mcp-server
MCP server for Noir development — clones and searches Noir documentation, standard library, examples, and community libraries.
Install
Claude Code
claude mcp add noir-mcp -- npx noir-mcp-server@latestCodex
codex mcp add noir-mcp -- npx noir-mcp-server@latestClaude Desktop / Cursor / Windsurf
Add to your MCP config file (e.g. ~/.claude/mcp.json, claude_desktop_config.json):
{
"mcpServers": {
"noir": {
"command": "npx",
"args": ["noir-mcp-server@latest"]
}
}
}OpenCode
Add to your config file (e.g. ~/.config/opencode/opencode.json):
{
"$schema": "https://opencode.ai/config.json",
"mcp": {
"noir": {
"type": "local",
"command": ["npx", "-y", "noir-mcp-server@latest"],
"enabled": true,
},
},
}From source
git clone https://github.com/critesjosh/noir-mcp-server.git
cd noir-mcp-server
npm install && npm run buildThen point your MCP config to the built file:
{
"mcpServers": {
"noir": {
"command": "node",
"args": ["/path/to/noir-mcp-server/dist/index.js"]
}
}
}Related MCP server: Repo Docs MCP
Tools
Tool | Description |
| Clone/update repos. Default: core only. Add |
| Check repo clone status |
| Search |
| Search Noir documentation |
| Search standard library |
| List available examples |
| Read example source |
| Read any file from repos |
| List libraries with descriptions & clone status |
Repository Categories
Core (synced by default):
noir— Compiler, stdlib, tooling, docsnoir-examples— Official example circuits
Libraries (sync with categories: ["libraries"]):
noir-bignum— Big integer arithmeticnoir_bigcurve— Elliptic curve operationsnoir_json_parser— JSON parsing (RFC 8259)noir_string_search— Substring search/proofnoir_sort— Array sortingsparse_array— Sparse array implementationzk-kit.noir— Merkle trees, ECDH, and more
Reference (sync with categories: ["reference"]):
awesome-noir— Curated ecosystem index
When this server helps (and when it doesn't)
Good fit:
Writing or editing Noir circuits with an AI agent that would otherwise lean on stale, pre-1.0 syntax from memory. The Noir docs and standard library are pinned to a specific release, so the agent works from version-correct language source rather than guessing.
Looking up how a stdlib function, trait, or type is actually defined or used (e.g.
hash,Field,assert,pedersen).Finding real, working example circuits to adapt (
noir-examples,noir/examples).Discovering ecosystem libraries and reading their source.
Grounding an agent so it stops inventing outdated syntax. Pair it with
nargo checkto confirm the result compiles.
Poor fit:
You want guaranteed-correct, compilable output without verifying it yourself. This server does not compile or run anything; always confirm with
nargo check.You need community libraries to exactly match your pinned compiler. Libraries are cloned at their latest branch, not a release matched to the compiler (see Limitations).
Conceptual or design questions ("what is the best way to structure a Merkle-membership circuit?"). Search is keyword/regex, not semantic; the model plus the docs site may serve you better.
Proving-backend workflows beyond reading
bb.jssource.Offline use, or environments without
git(and ideallyripgrep) installed.
Limitations
Read-only, no verification. It surfaces source and docs but does not compile, type-check, or run circuits. It cannot confirm that code is correct; run
nargo checkagainst a matching toolchain.Core repos are pinned; libraries are not. The
noirrepo (docs, stdlib, in-repo examples) andbb.jsare checked out at a fixed tag; community libraries are cloned at theirmain/masterbranch tip, which may be newer or older than the pinned compiler. Noir'scompiler_versionfield only expresses a full-release floor (e.g.>=1.0.0) and cannot distinguish between betas, so it will not flag a beta-level mismatch. Treat library code as a reference and verify it against your toolchain.Keyword search, not semantic. Search is ripgrep over files. It excels at finding a known symbol or string and is weak at open-ended "how do I do X" questions.
Single-line matches. Results are matching lines without surrounding context; reading the full function or doc comment usually needs a follow-up
noir_read_file.Sync required, and the first sync is slow. Repos are cloned locally over the network before search works. Core is two repos; adding library or reference categories clones more.
One version at a time. The server serves a single pinned Noir line (see Environment Variables). Switching versions means re-syncing with
version, and library compatibility is still not guaranteed.Snapshot, not live. Content reflects the pinned tag (docs/stdlib) and your last sync (libraries). Re-sync to pick up updates.
Host dependencies. Requires
git; usesripgrepwhen present and falls back to a slower built-in search otherwise.
Environment Variables
Variable | Default | Description |
|
| Noir version tag for the main repo |
|
| Base directory for cloned repos |
Development
npm run dev # Watch mode
npm run build # Build
npm start # Run server
npm test # Run the Vitest unit suite
node test.mjs # Optional live integration smoke test (clones repos)Maintenance
Resources
Unclaimed servers have limited discoverability.
Looking for Admin?
If you are the server author, to access and configure the admin panel.
Related MCP Servers
- AlicenseBqualityDmaintenanceProvides comprehensive access to MCP documentation through structured guides, full-text search, and interactive development workflows for building servers and clients.Last updated328MIT
- Alicense-qualityDmaintenanceA generic MCP server that exposes local repository checkouts, allowing users to search and read code and documentation through natural language. It supports multiple instances, enabling seamless interaction with various codebases via configurable tool prefixes and URI schemes.Last updated1,956MIT
- AlicenseAqualityDmaintenanceMCP server for markdown files — search, extract sections, list headings, find code blocks across docs.Last updated61034MIT
- Alicense-qualityBmaintenanceMCP server for local-first lexical code search, providing tools for searching code, finding symbols, and reading chunks from indexed repositories.Last updatedMIT
Related MCP Connectors
MCP server for accessing curated awesome list documentation
An MCP server that gives your AI access to the source code and docs of all public github repos
An MCP server for deep research or task groups
Latest Blog Posts
- Who's Calling? MCP Hosts Are an Identity Blind Spot (And the Spec Knows It)By Om-Shree-0709 on .mcpAgent IdentityOAuth 2.1
- Your AI Chatbot Just Exposed Your CEO's Salary to an InternBy Om-Shree-0709 on .Agent IdentityMCP SecurityOAuth Delegation
- Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)By Om-Shree-0709 on .Agentic AiPrompt InjectionWebAssembly
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/noir-lang/mcp-server'
If you have feedback or need assistance with the MCP directory API, please join our Discord server