basedcryptoji/solvr-aeon-skill
AEON skill pack for Solvr — AI-assisted formal verification work-order, grounded in live onchain intel. Inspired by Vitalik's FV essay.
AEON skill pack for Solvr — AI-assisted formal verification work-order, grounded in live onchain intel. Inspired by Vitalik's FV essay.
npx skills add basedcryptoji/solvr-aeon-skillAEON skill pack for Solvr — AI-assisted formal verification work-order, grounded in live onchain intel. Inspired by Vitalik's FV essay.
A two-command journal for any git repo — Claude Code skill (also runnable as plain shell). /devday-log appends a checkpoint while you work; /devday synthesises the day. Git is the only hard requirement.
Agent Skills for Bioinformatics.
Official Presto Codex skills monorepo
Run end-to-end deploy pipelines across Stripe, Supabase, and Vercel using the Composio CLI. Promote Stripe products, push Supabase migrations, ship Vercel deployments, and verify with post-deploy checks — all from one script.
Spec-first, skill-first, goal-first coding skill pack for Codex.
A portable loop harness that turns two AI coding agents into an autonomous coder↔reviewer pair.