Governed coding with proof
Execute an authorised repository change in an isolated coding sandbox, validate the exact result, publish a branch or pull request, and stop for independent OpsTruth verification. DoneState never approves or merges its own pull request and does not deploy or publish releases.
MCP connector Server URL https://donestate.proofandstate.com/mcpCopy Login OAuth Tools Reads data5 get_ github_ app_ statusget_ objectiveget_ openai_ credential_ statuslist_ maintenance_ findingslist_ maintenance_ repositories
Changes data10 create_ github_ app_ setupcreate_ objectivecreate_ verification_ handoffdiscover_ maintenance_ workrequest_ opstruth_ verificationselect_ maintenance_ repositorystart_ maintenance_ repairstart_ objectivesubmit_ verifier_ attestationsubmit_ verifier_ response
Deletes or can't be undone5 cancel_ objectivecreate_ openai_ credential_ setupdelete_ objectivedelete_ openai_ credentialremove_ maintenance_ repository
Skills 4 in the ChatGPT listing
Maintain repository Use when a user wants DoneState to select one GitHub repository for recurring read-only maintenance discovery or opt-in PR-only repairs. Monitor objective Use when a user wants the status, history, cancellation or deletion of a DoneState objective. Run objective Use when a user wants DoneState to implement, repair, maintain or otherwise change a public GitHub repository autonomously from a prose outcome. Verify objective Use when a DoneState run awaits independent verification or a user asks whether the exact published result is proven complete.