Skip to content

Accountability infrastructure for autonomous engineering

Products

What exists today, and what comes next.

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

Overview

Different jobs, different maturity.

The site does not flatten live, publicly listed and in-development products into one generic availability claim.

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.

Comparison

Choose by the job you need done.

This table describes public use and current availability, not internal implementation roles.

Product comparison
Product comparison
DimensionDoneStateOpsTruthAgentProof
Current availabilityLive service; external listings still in reviewPublic GitHub Marketplace ActionPublic RC6 developer prerelease
Use it forPreparing reviewable repository maintenanceChecking software evidence independentlyAuthorised local repository patches with signed receipts
Change authorityPrepares branches and pull requests; owner mergesInspection onlyDevelopment authority only; production authority is not shipped
Public outputReviewable repository changesEvidence reportSigned Receipt V2 and compensation successors

Related capability registry

Explore the problems agents can help solve.

Agent Shop is a separately deployed catalogue of source-backed prompts and agent skills. It is not another execution service, nor a way to buy or install a product from this page.

Browse the live Agent Shop catalogue

Inspect published capability summaries, requirements and boundaries directly in the current registry. Tail Wagging subcontracting, quotes, payment and owner approval are handled by their own service. Product counts and availability come from the live catalogue, not copied marketing figures.

Move faster. Keep the evidence.

Start with the product that matches the job you have today.