workersio/skills
axiom-verify
Verify and transform Lean 4 proofs using the Axiom (Axle) API. Use when the user works with Lean 4 code, formal mathematics, Mathlib theorems, or mentions…
Installation
npx skills add https://github.com/workersio/skills
Similar popular skills
Related neighbors and high-traction skills in the same topics — useful to compare before installing.
Verify a WordPress plugin's Abilities API registrations: enumerate abilities, check that callba…
1.8K installsCheck whether a Playwright, Puppeteer, Selenium or CDP-driven browser presents a coherent finge…
43.5K installsProve existing work meets acceptance conditions without expanding scope. Use for validation-onl…
38.7K installsProve a Convex feature works — seed, drive as multiple mocked users via convex-test, assert beh…
18.3K installsUse when about to say "done", "fixed", "passing", or "shipped" - or when reporting the outcome …
5.3K installsConfigure a PreToolUse hook to prevent AI agents from skipping git pre-commit hooks with --no-v…
5.3K installsAlso in this package
Other skills from workersio/skills · top by installs.
npx skills add https://github.com/workersio/skills
More details
Agent compatibility
Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.
Repository health
main
History
- First seen on skills.sh
- First recorded snapshot · 127 installs