Skill Claude CodeCodex
Use when writing tutorial documentation or create-leo-app examples for the Provable SDK (@provablehq/sdk). Covers how to structure runnable templates, write tutorial-style docs, and handle Node.js vs web runtime differences.
Command Claude Code
Automates wrapping a SnarkVM type in wasm-bindgen bindings for the Provable SDK.
Skill Claude CodeCodex
Use when the user wants to trade, LP, or build on the shieldswap AMM — setting up an account, redeeming an invite, getting the airdrop, swapping privately, managing liquidity positions, or collecting winnings via the aleoshieldswap Python SDK.
Instructions file CodexOpenCode
AGENTS.md instructions for ProvableHQ/python-sdk, covering aleo python sdk — agent guide, build & test, architecture conventions (follow these), testing discipline and delegated services (dps + record scanner).
Skill Claude CodeCodex
Use when the user wants to trade, LP, or build on the shieldswap AMM — setting up an account, redeeming an invite, getting the airdrop, swapping privately, managing liquidity positions, or collecting earnings via the aleoshieldswap Python SDK.