Skip to content

Accountability infrastructure for autonomous engineering

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.