What it is
A verification layer where the model proposes and deterministic tools decide. Every claim is checked against ground truth and returned with evidence.
Why it showed up
1.2k stars. It moves verification out of the model and into code, which is the direction most teams end up going after being burned by self-graded output.
Who should look at it?
Anyone building an agent that makes factual, numerical or operational claims should recognise the pattern. Reverify separates proposing an answer from checking it, which makes the verification step visible in the workflow.
What to inspect
Look for the contract between a model proposal, a deterministic checker and the returned evidence. The practical question is whether a failed check is actionable for the caller or merely converted into another opaque score.
Watch point
Deterministic checks are only as strong as their ground truth and coverage. A verified claim can still be incomplete if the checker does not model the full task.