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.
Available Skills
| Skill | Description |
|---|---|
| Smart Contracts | Complete Leo language reference: types, functions, records, mappings, constructors |
| Deployment | Build, deploy, execute, and upgrade workflow |
| Frontend Integration | SDK integration, wallet adapters, browser proof generation |
| Privacy Patterns | Record-based privacy, shielding, commit-reveal, private voting |
| Testing | Test annotations, local devnet, debugging strategies |
| Staking & Delegation | Validator operations, staking mechanics, delegation |
| Backend Integration | Server-side Aleo integration with SDK and node APIs |
| Cookbook | Complete, copy-pasteable recipes — counter, token, lottery, interest, cross-program calls |
Individual skill pages:
- /tools/skills/aleo_smart_contracts
- /tools/skills/aleo_deployment
- /tools/skills/aleo_frontend
- /tools/skills/aleo_privacy_patterns
- /tools/skills/aleo_testing
- /tools/skills/aleo_staking_delegation
- /tools/skills/aleo_backend
- /tools/skills/aleo_cookbook
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 — 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) orGEMINI.md(local) - Aider —
~/.aleo-skills/(global) or.aleo-skills/(local), referenced viaread:entries in.aider.conf.yml
Autonomous agent frameworks:
- OpenClaw, Nanobot, MiniClaw, IronClaw, ZeroClaw, NanoClaw, PicoClaw —
~/.<agent>/skills/aleo/in SKILL.md format
Uninstall
bash
curl -fsSL https://aleoforagents.com/skills.sh | bash -s -- --uninstall
Machine-Readable Registry
The skills registry is at /skills/registry.yaml for programmatic access.