rcolkitt/Axiom Verify

Verify Axiom specs in CI - ensures generated code matches specifications

View on GitHub

Trust Signals

Scorecard Score
not yet scored
Maintenance Recency
Stale
License
None
namedescriptionrequireddefault
spec-pathPath to specs directory or specific .axiom filenospecs/
python-versionPython version to useno3.12
fail-on-driftFail if generated code has been hand-editednotrue
anthropic-api-keyAnthropic API key (only needed for --rebuild)no
rebuildRebuild specs before verifying (requires API key)nofalse
namedescription
passedNumber of specs that passed verification
failedNumber of specs that failed verification
drift-detectedWhether generated code drift was detected