Claude MarketplacesSubmit
workersio avatar

Axiom Verify

workersio/spec

From what's visible, this appears to be a formal verification skill that likely checks correctness properties or invariants in code. Without implementation details or reference materials, it's hard to say whether this leans toward theorem proving, symbolic execution, SMT solving, or runtime assertion checking. The name suggests it integrates with Axiom or a similar verification toolchain. If you're working in a domain where correctness matters more than iteration speed, like cryptography, financial logic, or distributed consensus protocols, a verification step can catch entire classes of bugs that testing misses. The sparse description makes it tough to know when you'd reach for this over alternatives.

skills.sh installs
125
GitHub stars
138
last updated
Jun 3, 2026
View on GitHub

Install

$ npx -y skills add workersio/spec --skill axiom-verify --agent claude-code

Installs into .claude/skills of the current project.

Files

From what's visible, this appears to be a formal verification skill that likely checks correctness properties or invariants in code. Without implementation details or reference materials, it's hard to say whether this leans toward theorem proving, symbolic execution, SMT solving, or runtime assertion checking. The name suggests it integrates with Axiom or a similar verification toolchain. If you're working in a domain where correctness matters more than iteration speed, like cryptography, financial logic, or distributed consensus protocols, a verification step can catch entire classes of bugs that testing misses. The sparse description makes it tough to know when you'd reach for this over alternatives.

Browse the repository on GitHub

Sponsors

Promote your product hereReach 125k+ visitors monthlyPromote your product hereReach 125k+ visitors monthlyAgent CaffeineSponsoredClose your lid, come back to finished workSnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthlyWaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthlyknobsSponsoredSee your site on any phone, any day, in any language

Details

Repository
github.com/workersio/spec
First seen
Jun 3, 2026

More from workersio/spec

All 4

Recommended

1juliusbrussee avatarcavemanjuliusbrussee/cavemanUltra-compressed communication mode. Cuts output tokens 65% (measured) by speaking like caveman while keeping full technical accuracy. Supports intensity levels618.3Kskills.sh installs
2mattpocock avatargrill-memattpocock/skillsA relentless interview to sharpen a plan or design.1.5Mskills.sh installs
3shadcn avatarimproveshadcn/improveSurvey any codebase as a senior advisor and produce prioritized, self-contained implementation plans for OTHER models/agents to execute. Strictly read-only on s40Kskills.sh installs
4obra avatarsystematic-debuggingobra/superpowersUse when encountering any bug, test failure, or unexpected behavior, before proposing fixes326.7Kskills.sh installs
5forrestchang avatarkarpathy-guidelinesforrestchang/andrej-karpathy-skillsBehavioral guidelines to reduce common LLM coding mistakes through explicit assumptions, simplicity, and verifiable success criteria.17.9Kskills.sh installs
6vercel-labs avatarfind-skillsvercel-labs/skillsHelps users discover and install agent skills when they ask questions like "how do I do X", "find a skill for X", "is there a skill that can...", or express int4.3Mskills.sh installs