Aleo Developer Skills

Skills are structured knowledge packages you inject into an AI coding agent's context window. They give the agent version-specific guidance for Leo programming and Aleo development.

All eight skills currently target Leo 4.4.0, snarkOS and snarkVM 4.9.0, and Provable SDK 0.11.6. Every Leo code block in them is compiled against the pinned Leo CLI in CI, so the examples an agent reads are examples that build.

Available Skills

Skill	Description
Smart Contracts	Complete Leo 4.4 reference: types, records, mappings, storage, constructors, `final` blocks, interfaces
Deployment	Build, deploy, execute, and upgrade workflow, plus devnode and consensus versions
Frontend Integration	SDK integration, wallet adapters, browser proof generation
Privacy Patterns	Record-based privacy, shielding, commit-reveal, private voting
Testing	`@test` functions, testing finalization and mappings, devnode, CI
Staking & Delegation	Validator operations, staking mechanics, delegation
Backend Integration	Server-side SDK usage, prepared program contexts, delegated proving, fee estimation
Cookbook	Complete, copy-pasteable recipes: counter, token, admin mint, lottery, interest, cross-program calls, signatures, registry

Individual skill pages:

Installation

Install skills for your AI coding agent with one command:

bash

curl -fsSL https://aleoforagents.com/skills.sh | bash

The installer auto-detects your agent harness and installs to each agent's native global path, so skills are available across all your projects immediately.

Use --local to install to the current project directory instead.

Supported Agents

SKILL.md format (on-demand loading):

Claude Code: ~/.claude/skills/ (global) or .claude/skills/ (local)
Amp: ~/.config/amp/skills/ (global) or .agents/skills/ (local)
Codex: ~/.agents/skills/ (global) or .agents/skills/ (local)
OpenCode: ~/.config/opencode/skills/ (global) or .opencode/skills/ (local)

Rules directory format:

Cursor: .cursor/rules/*.mdc (local only, no global file-based path)
Windsurf: summary to ~/.codeium/windsurf/memories/global_rules.md + full skills to .windsurf/rules/
Cline: ~/Documents/Cline/Rules/ (global) or .clinerules/ (local)
Roo Code: ~/.roo/rules/ (global) or .roo/rules/ (local)
Continue: ~/.continue/rules/ (global) or .continue/rules/ (local)
GitHub Copilot: .github/instructions/ (local only, global varies by IDE)

Single-file / config-based:

Gemini CLI: ~/.gemini/GEMINI.md (global) or GEMINI.md (local)
Aider: ~/.aleo-skills/ (global) or .aleo-skills/ (local), referenced via read: entries in .aider.conf.yml

Autonomous agent frameworks:

OpenClaw, Nanobot, MiniClaw, IronClaw, ZeroClaw, NanoClaw, PicoClaw: ~/.<agent>/skills/aleo/ in SKILL.md format

Uninstall