Model-only playbook for adding a property-based test that pins a function's invariant.
EnglishRecommend the cheapest experiment that discriminates between two or more candidate paths.
EnglishModel-only refactoring playbook for pulling a coherent block out of a long function into a named helper.
EnglishModel-only refactoring playbook for splitting a multi-concern file into layered modules.
EnglishModel-only playbook for promoting spike/research code into a typed, tested, maintained module.
EnglishAuthor a verification-grounded math-explainer over typed MathClaim/MathExplainer rows: each claim pins intuition + a runnable CI-checked example gate + assumptions/regime + a canonical citation, run through an in-skill clarity loop (vale-prose + EAWF019 + draft validate). No state mutations.
EnglishModel-only playbook for splitting a multi-responsibility class into single-purpose collaborators.
English
AGENT SKILLS ATLASIncludes Add Property Test, Differentiate, Extract Function, and other workflows.
Claude Code
Codex
Cursor
GitHub Copilot
Gemini CLISupported by the Atlas install prompt. Skill-specific requirements vary.
Pack stats
What’s included
Add Property Test
Model-only playbook for adding a property-based test that pins a function's invariant.
Coauthor
Resolve the Co-Authored-By trailer policy for the active repo.
Differentiate
Recommend the cheapest experiment that discriminates between two or more candidate paths.
Extract Function
Model-only refactoring playbook for pulling a coherent block out of a long function into a named helper.
Extract Module
Model-only refactoring playbook for splitting a multi-concern file into layered modules.
Graduate Research Code
Model-only playbook for promoting spike/research code into a typed, tested, maintained module.
Math Explainer
Author a verification-grounded math-explainer over typed MathClaim/MathExplainer rows: each claim pins intuition + a runnable CI-checked example gate + assumptions/regime + a canonical citation, run through an in-skill clarity loop (vale-prose + EAWF019 + draft validate). No state mutations.
Refactor God Class
Model-only playbook for splitting a multi-responsibility class into single-purpose collaborators.
Wave Spec
Scaffold or validate a WaveSpec deliverable for a claimed wave.
Quick start
- Choose your skills. Select individual skills above, or choose the entire pack.
- Copy the install prompt. Use Copy install prompt above the list.
- Send it to your agent. Paste into your coding agent’s chat. Your agent reviews the source and guides the setup.
Try it with your agent
After installation, start with a request like:
Use the Add Property Test skill to help with my task.
Ask me for the context you need before getting started.Requirements & license
- A coding agent that can access your project files and install skills.
- Your agent checks each skill’s instructions, dependencies, and permissions during setup.
- Reported license for the skills shown: MIT. The author’s terms apply.