Skip to content

xinhi6716/axiom-forge

v1.2.0MIT

Evidence into insight. Insight into verified work. Research skills and Pstack in one portable agent toolkit.

GitHubOpen Website
skills

create-formal-verification-skill

Generate a project-local skill that formally verifies the code where a bug costs the most and tests reach the least, in any language, with whichever verification tool fits. Use for /create-formal-verification-skill, "model-check this race", "prove this invariant", or when concurrency, retries, state machines, parsers, or unsafe code need more than tests.

Read SKILL.md at the source

Pinned to revision 81e61470a785, so it is the text this page describes rather than whatever the author pushed since.

Files

Every link opens the file at its source, pinned to the revision this page describes.