Skip to content

Accountability infrastructure for autonomous engineering

AI-assisted software delivery

reality first

Let AI move faster without losing review.

Proof & State helps teams prepare changes, inspect software evidence and keep product maturity visible instead of hiding it behind automation language.

Proof & State builds tools that help teams use AI in software delivery with clearer boundaries, reviewable changes and evidence that can be checked independently.

OpsTruth

Available

Public GitHub Marketplace Action for independent software evidence checks.

DoneState

Live

Live owned service for reviewable repository maintenance. External listings remain in review.

AgentProof

RC6 prerelease

Local CLI and SDK for one repository-patch action. Hosted coordination remains unreleased.

Products

Three products, three different jobs.

DoneState prepares reviewable maintenance. OpsTruth checks software evidence. AgentProof provides signed receipts for one local repository-patch action in its RC6 developer prerelease.

Product 01 · Repository maintenanceLive

DoneState

Reviewable repository maintenance

DoneState is for teams that want AI-assisted maintenance without making repository review optional. It prepares work, runs checks and hands changes back through normal GitHub review.

What it is for

  • Scoped repository work

    Maintenance is limited to the repository access and goal chosen for the job.

  • Pull-request workflow

    Remote changes are prepared on a branch and surfaced for normal review.

  • Checks before handoff

    Project checks can run before proposed changes are handed back to a reviewer.

  • Recoverable work

    Interrupted maintenance work is designed to resume from recorded progress instead of starting blindly again.

Product 02 · Evidence checksAvailable

OpsTruth

Independent software evidence checks

OpsTruth gathers evidence from source, checks and delivery surfaces so teams can see what is supported, what needs attention and what still has not been confirmed.

What it is for

  • Repository inspection

    Checks source and repository evidence at the version being reviewed.

  • Build and test evidence

    Surfaces evidence from project checks instead of relying on a prose success summary.

  • CI evidence

    Reads available continuous-integration results and configuration relevant to a claim.

  • Runtime and deployment evidence

    Can compare public runtime or deployment evidence with the software claim being reviewed.

Product 03 · Action transaction & proofRC6 prerelease

AgentProof

Signed receipts for consequential agent actions

AgentProof 0.1.0-rc.6 packages a real local CLI and SDK around one deliberately narrow action: agentproof.repository_patch.v1. It preserves transaction-bound approval, durable state, exactly-once retry behaviour, deterministic reconciliation, independent postcondition checks, Receipt V2, and signed compensation successors.

What it is for

  • Transaction-bound approval

    Approval binds the exact prepared transaction, intent, target, policy, expiry, nonce, and authority environment rather than granting open-ended permission.

  • Exactly-once execution

    Durable transaction state and idempotency prevent an ordinary retry from silently repeating the same consequential repository mutation.

  • Independent postcondition check

    The receipt path observes resulting repository state instead of trusting the executor's own success message.

  • Signed Receipt V2

    RC6 emits cryptographically bound receipt evidence whose trusted interpretation requires an explicitly pinned signer fingerprint.

What changes for the team

Keep the workflow understandable.

The public story is deliberately simple: prepare work, check evidence, keep the human decision visible.

Prepare changes

DoneState turns selected maintenance goals into branches and pull requests that fit normal repository review.

Check the evidence

OpsTruth inspects software evidence independently instead of changing the system it is checking.

Record important actions

AgentProof RC6 leaves independently checkable signed receipts for one local repository-patch action. Hosted coordination and other action classes remain unreleased.

Current status

Live services, prereleases and pending listings are different states.

OpsTruth

OpsTruth 0.4.1 is published in the OpenAI Plugins Directory. The opstruth-evidence GitHub Marketplace Action is also public, with v1.0.0 and the stable v1 reference published.

DoneState

DoneState is live on its owned service domain. Last verified external-provider state: OpenAI version 0.3.0 was in Review on 8 September 2026; the GitHub Marketplace listing was Pending for publish and not publicly discoverable in the last recorded check. These are dated provider observations, not live provider telemetry.

AgentProof

AgentProof 0.1.0-rc.6 is a public GitHub developer prerelease for one proven local action, agentproof.repository_patch.v1. RC5 includes transaction-bound approval, durable exactly-once execution, reconciliation, independent repository-state verification, signed Receipt V2 evidence, offline verification, and signed compensation successors. The npm prerelease, production authority/signing, hosted coordination, and additional action classes are not yet released.

Definition — Proof & State
Proof & State builds tools that help teams use AI in software delivery with clearer boundaries, reviewable changes and evidence that can be checked independently.

Move faster. Keep the evidence.

See what is available today, what is still under review and what is still being built.