$ loading_
Enables defining and verifying evidence contracts for claims in READMEs, releases, or product pages using constrained verifiers and generating hash-chained receipts and reports.
Copy the install command and let the AI configure it · recommended for beginners
No copy-paste install info for "proofspec" yet — see the docs or source repo.