insinuateai/Prova Reasoning Verifier

Formally verify AI reasoning chains. Gates CI on logical validity — blocks INVALID reasoning from reaching production and emits a tamper-evident certificate as proof.

View on GitHub

Trust Signals

Scorecard Score
not yet scored
Maintenance Recency
Stale
License
None
namedescriptionrequireddefault
reasoning_chainThe AI reasoning chain to verify (multi-step chain-of-thought text)yes
api_keyYour Prova API key — use ${{ secrets.PROVA_API_KEY }}yes
source_urlOptional URL of the source document or paperno""
domainDomain hint: medical | legal | financial | code | generalno""
retainStore the original reasoning text in the certificate (true/false)notrue
fail_on_invalidFail the CI step when reasoning is INVALID (true/false)notrue
post_pr_commentPost a certificate summary comment on pull requests (true/false)notrue
github_tokenGitHub token for posting PR comments — use ${{ secrets.GITHUB_TOKEN }}no""
namedescription
certificate_idThe Prova certificate ID (e.g. PRV-2026-A3F2)
verdictVALID or INVALID
confidence_scoreConfidence score 0-100
certificate_urlPublic URL of the full certificate