proof-driven-development

Here are 2 public repositories matching this topic...

HomenShum / proof-driven-development

An agent's claim that it finished is worthless unless the proof could have failed. A one-page method, no framework, no install.

verification ai-agents llm-evaluation software-methodology agent-evaluation proof-driven-development

Updated Jul 24, 2026

HomenShum / deepracer-proofloop

Star

Can a reward function tell a good lap from a bad one? An offline test, no simulator, no AWS. Found two real defects in 12 production DeepRacer reward functions.

reinforcement-learning ai-agents reward-shaping aws-deepracer agent-evaluation proof-driven-development

Updated Jul 25, 2026
Python

Improve this page

Add a description, image, and links to the proof-driven-development topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proof-driven-development topic, visit your repo's landing page and select "manage topics."

Learn more