What the site does
The guides explain verification methods and practical review decisions. The planner turns a small set of project choices into an editable checklist and CI starting point. It runs in the browser and accepts no source code.
Proof Field is not a scanning service, certification body or formal verifier. We do not claim that a generated plan proves your software correct, and we do not publish invented benchmark results.
How to read the guidance
Research claims link to their original publishers. Advice such as adding rejection-path tests is editorial engineering guidance, not a finding from a controlled experiment on your project.
We separate repository code review, generated-program evaluation and formal proofs because they answer different questions. Tool capabilities and licenses can change; follow the linked official documentation before adoption.
Source metadata checks do not automatically change the meaning of a guide. An unchanged page does not receive a new editorial date merely because a scheduled job ran.
Assets and software credits
The original Proof Field wordmark and check-shaped P icon are SVG brand assets created for this site. They do not represent a third-party product.
Documentation layout, sidebar, image-caption and copy-button patterns are adapted from Blue, Copyright © 2017 Mr.Blue, under the MIT License. The implementation replaces Hugo templates with a static Node build and adds accessible navigation and local planning.
ScaleBox paper figures and screenshots: Zheng et al., © 2026 Association for Computational Linguistics, CC BY 4.0. Cropped figures are marked in their captions. The language-support image is from the ScaleBox repository under Apache 2.0.
Code-scanning screenshots: GitHub Docs contributors, CC BY 4.0. The original documentation pages are linked beside each unmodified screenshot. Their alert counts, status and code examples are not results from this site.
The embedded demonstration remains hosted by YouTube. Source and original-player links appear beside the video. This site is not affiliated with OpenAI, GitHub, ACL or the ScaleBox authors.
Report a correction
For a factual error, include the page, the affected statement and a primary source. For a planner problem, include the selected language, risk and repository scale without private code.
A public corrections form is not currently available. Follow the primary-source links to check a disputed claim against its publisher.