Overview
Connected · just now
Testing doesn't count toward your 100 checks.
This week
—
checks run
—
proved
—
counterexamples
—
median solve
Latest checks
None yet. Your first check shows up here.
Rules
Every invariant BoltProof can check. Reading rules never uses a check.
draftwritten, not reviewed
reviewedpassed the reviewer agent
human-approveda person signed it
Plan
Propose a rule
A proposal is not a rule. A person reviews every proposal before anything is published, and nothing here counts against your checks.