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

Public website, MCP, OpenAI directory listing and GitHub Marketplace Action; each is a separate distribution surface. Read-only verification is not permission to repair, merge or deploy. A source scan or CI pass is not proof of production behaviour, security certification, adoption or revenue.

DoneState

Published CLI 0.2.0; owned hosted service is a separate release train. Discovery grants no execution, merge, deployment or release authority. External-directory approval is provider-controlled and is not inferred from npm publication or service availability.

AgentProof

AgentProof 0.1.0-rc.6 is a public GitHub developer prerelease and is published on npm under next; latest remains 0.1.0-rc.5. The published RC6 CLI and SDK support one bounded local capability, agentproof.repository_patch.v1: transaction-bound approval, durable execution and reconciliation, independent repository-state checks, signed Receipt V2 and compensation successors. RC6 is not general availability. Its development authority is not production authority. The published package does not enable commit, push, tag, merge, deployment or release actions. Separate source candidates and bounded hosted canaries do not broaden the published RC6 contract or prove independent customer adoption.

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.