alauda/agent-skills
A collection of skills for AI coding agents.
A collection of skills for AI coding agents.
npx add-skill alauda/agent-skillsA collection of skills for AI coding agents.
Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards
My skills
Build a local SF6 loop with gamepad input, YOLO screen detection, Fight Engine control, and OpenClaw session strategy in one web console
BurgundyTable brand assets — logos, favicons, print PDFs. Referenced by the burgundytable Claude skill.
Automate Cdr Platform tasks via Rube MCP (Composio). Always search tools first for current schemas.
Spend-capped Pay Tokens for autonomous AI agents — Eliza, Claude Desktop, Cursor, Dify. USDC + JPYC on Polygon. Open source, MIT.