Make computational claims
checkable.

Capture a computation. Bind its artifacts to a precise claim. Give someone else a bounded way to inspect, reproduce, or refute it.

Verifier is the Python reference implementation of the Verifier Standard (VSTD), a verification-domain language for portable, bounded, refutable evidence about computational claims.

Start with Verifier Explore the Python reference

FROM PACKAGE TO FIRST CHECK

A small place to start.

Install from the Python Package Index (PyPI). Run the defensive demo before capturing your own computation.

Follow the receipt walkthrough

Terminal Python 3.10+

python -m pip install verifier-standard==1.3.0
vstd demo
vstd --help

Distribution: verifier-standard · Import: verifier · Command: vstd

Find your path

Learn → inspect → contribute

Understand the model ↗

Claims, evidence, coordinates, and the limits that give a result its meaning.

CONCEPTS & PRECEDENTS

Use the package ↗

Generated command-line interface (CLI) and Python application programming interface (API) references, pinned to release 1.3.0.

RELEASED REFERENCE

Explore the repository ↗

Trace a command into its implementation, examples, tests, and normative source.

REPOSITORY WALKTHROUGH

Make a contribution ↗

Bring a counterexample, improve a guide, or tighten a declared verification boundary.

CONTRIBUTOR GUIDE

Know what a result means.

A successful check supports its named proposition under its declared conditions. It does not establish every surrounding claim. Missing evidence stays UNKNOWN.

Read the claims and limits →

Building with Verifier?

Explore the company and business inquiries at VSTD Labs.

Visit VSTD Labs ↗

CONTINUE READINGInstall Verifier

Make computational claimscheckable.