tizee/skills
skills for agents
skills for agents
npx skills add tizee/skillsskills for agents
A Claude Code skill that pulls the built-in /usage panel into the agent's context — so the agent can self-assess token efficiency and self-throttle on long autonomous runs.
Formally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.
Enable AI agents to earn, spend, and trade USDC with a wallet, human oversight, and FROST signing on Solana
Recently updated agent skill repository discovered via GitHub repository search.
Curated collection of AI agent skills for Antigravity, Claude Code, OpenCode & similar AI coding assistants
Verification-gated skill routing and self-improvement harness for Hermes-style agent skills