AgentProof
ChatGPT plugin by Miguel Herrero Burgos · Local Codex session receipts
Data updated · Last checked
In directory search
Listing check
-
!
0 / 30Put a search term in the name Search rankThe name has none of the tracked search terms.Directory search ranks name matches first: 74% of top-3 results have the search term in the name. Searches for a brand name itself are not tracked.11 of 20 category leaders do this
In ChatGPT conversations
We haven’t seen ChatGPT suggest AgentProof yet. We test which plugins ChatGPT suggests for everyday requests, and in what order.
About AgentProof
AgentProof is a ChatGPT plugin by Miguel Herrero Burgos in the Developer Tools category of the ChatGPT plugin directory. Its listing describes it as “Local Codex session receipts”. It has been tracked in the directory since Oct 5, 2026.
AgentProof does not currently reach the top 10 for common Developer Tools searches in the directory, so most people find it by searching for its name.
It is not listed on a category page of the directory and appears only in search results.
Starts a new instrumented Codex CLI session and leaves a local, hash-only receipt of command events and checked repository states. Later, AgentProof validates the receipt and compares its recorded final file commitments with the current repository.From the plugin’s directory listing
Plugins competing for the same searches
No competitors yet. They appear once other plugins show up in the same tracked searches as AgentProof.
Recent changes
No changes yet.
AgentProof: questions and answers
What does AgentProof do?
Local Codex session receipts. Starts a new instrumented Codex CLI session and leaves a local, hash-only receipt of command events and checked repository states. Later, AgentProof validates the receipt and compares its recorded final file commitments with the current repository.
Who makes AgentProof?
AgentProof is developed by Miguel Herrero Burgos.
How do I add AgentProof to ChatGPT?
Open ChatGPT, go to Plugins, search for “AgentProof” and select Install plugin. You can also open its page in the directory directly.
Is AgentProof still available in ChatGPT?
Yes. AgentProof was listed in the ChatGPT plugin directory at the latest hourly check.