Getting Started with AI

Paste this into your AI agent to get started:

Follow https://noir-lang.org/docs/getting_started_manually and walk me through creating and running my first Noir project step-by-step end-to-end (from installation to proof verification); explain what each step does

The prompt walks you through setting up and interacting with a basic Noir project.

Installing MCP server

Additionally, paste this into your AI agent to install Noir's MCP server:

If you support MCP, install noir-mcp-server following the instructions in https://github.com/critesjosh/noir-mcp-server/blob/master/README.md#install; test and make sure it is properly installed and configured to be accessible whenever you would need it (e.g. answering Noir questions, writing Noir code)

The prompt installs noir-mcp-server, which provides your AI agent with efficient access to Noir's repository, documentation, libraries, etc.