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.
aider is AI pair programming in your terminal. It lets you edit code in your local git repository directly through command-line chat.
Agent skill repository for LilMikazuki/mikazuki-claude-skills.
CLI for managing AI agent skills — install, create, and share reusable SKILL.md definitions with automatic script dependency resolution
Run any process, on your machine or in an AI agent's environment, as if it were a pod in your Kubernetes cluster: real env vars, DNS, network, traffic.
Codex skill packaged for npm installation: rail transit protection-zone monitoring reports
personal agent skills for better QoL