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's MCP server following the instructions in https://github.com/noir-lang/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's MCP server, which provides your AI agent with efficient access to Noir's repository, documentation, libraries, etc.