Verifier Python Packages

witan

The spreadsheet toolkit for coding agents - edit, render, calculate, and lint Excel workbooks.

bohrin

Check the checker: an open standard for testing the graders of RL environments, with proof before every accusation.

crucible-ttc

A verifier-guided reasoning engine: generate many reasoning traces from a small open model, score them with a verifier (programmatic checker or a process-reward > model), and **search** — best-of-N → beam → MCTS over reasoning steps — to turn test-time compute into measurable accuracy.

percolation-inversion-compiler

AI agent output checker and workflow verification toolkit for turning agent text, pull requests, external inputs, and messages into auditable JSON reports with evidence routing, residual ledgers, provenance, and safe reuse checks.

prism-verify

Runtime LLM verifier — family-different, reasoning-stripped, multi-lens adjudication with signed Ed25519 receipts (CLI · MCP · HTTP).

grey-verifier

Verify email(s) using correct SMTP conversations (HELO / MAIL FROM /RCPT TO)

cautious-robot

Simple images from CSV downloader that runs and records checksums on downloaded image folder.

sum-buddy

Generate and save checksums for all (or certain) contents of given directory.

smtp-email-verifier

Verify email(s) using correct SMTP conversations (HELO / MAIL FROM /RCPT TO)