AI Skills
Copy Full Skill Download Skill
Use this playbook when an AI assistant needs indexer-based discovery for proof-planning over accumulators and remappers.
Download this skill when implementing candidate planning that must later be validated through proof-backed paths.
Claude Code
Cursor
Codex
Antigravity
Install All
Global: curl -fsSL https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/install.sh | bash -s -- --claude
Or project-local: curl -fsSL https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/install.sh | bash -s -- --claude --project
Or inside Claude Code: /plugin marketplace add HerodotusDev/ai-skills
/plugin install herodotus-skills@herodotus
Or via the Claude CLI: claude plugin marketplace add HerodotusDev/ai-skills
claude plugin install herodotus-skills@herodotus
Then use: /herodotus-skills:data-structure-indexer-api mkdir -p .cursor/skills/herodotus/data-structure-indexer-api
curl -fsSL https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/data-structure-indexer-api/SKILL.md \
-o .cursor/skills/herodotus/data-structure-indexer-api/SKILL.md
Global: mkdir -p ~/.codex/skills/herodotus/data-structure-indexer-api
curl -fsSL https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/data-structure-indexer-api/SKILL.md \
-o ~/.codex/skills/herodotus/data-structure-indexer-api/SKILL.md
Or project-local: mkdir -p .codex/skills/herodotus/data-structure-indexer-api
curl -fsSL https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/data-structure-indexer-api/SKILL.md \
-o .codex/skills/herodotus/data-structure-indexer-api/SKILL.md
mkdir -p .agent/skills/herodotus/data-structure-indexer-api
curl -fsSL https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/data-structure-indexer-api/SKILL.md \
-o .agent/skills/herodotus/data-structure-indexer-api/SKILL.md
curl -fsSL https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/install.sh | bash