https://pypi.org/project/proofrail/ Recent updates to the Python Package Index for proofrail en https://pypi.org/project/proofrail/0.1.0a2/ Check whether an AI coding agent's delivered commit supports what it claims it completed. 144551499+DrDeese@users.noreply.github.com Fri, 24 Jul 2026 13:28:02 GMT https://pypi.org/project/proofrail/0.1.0a1/ Deterministic offline acceptance verification for supported Proofrail cases. 144551499+DrDeese@users.noreply.github.com Fri, 24 Jul 2026 12:43:12 GMT