Legal
Privacy
A short notice covering this website and the open-source tooling it describes.
This website
The site is static content. It does not ask you to create an account, does not host a contact form, and does not sell or share personal data.
If you visit the site, the hosting provider processes standard technical request information such as IP address and user agent in order to serve the page and to protect the service. This is ordinary web-server processing rather than a profile built about you.
The tooling
DoneState, OpsTruth and AgentProof run in your own environment, against your own repositories, with credentials you control. They do not transmit your source code or verification results to the project.
Any data those tools read stays under your control and your organisation’s own policies.
Email and GitHub
If you email the project, the message and address are processed to reply to you. If you open an issue or pull request, that activity is public on GitHub and governed by GitHub’s own terms and privacy policy.
Changes and contact
If this notice changes materially, the updated version will replace this page. For privacy questions, email hello@proofandstate.com.