RepoMedic: An AI Field Engineer That Proves Its Fixes

Description and use

<p>What if an AI coding assistant didn't stop at <strong>“I think I found the bug”</strong>?</p> <p>What if it had to investigate an unfamiliar repository, build an evidence-backed explanation, propose a change, and then <strong>prove that the repository actually works after the change</strong>?</p> <p>That is what I built with <strong>RepoMedic</strong> for the Hacktoberfest Weekend Challenge.</p> <blockquote> <p><strong>AI proposes. Evidence decides.</strong></p> </blockquote> <p>Demo Video — <a href="https://drive.google.com/file/d/1djNOexyGXihN_YkK6-_dwoQo-N6qTXpU/view?usp=sharing" rel="no

Problem

<p>What if an AI coding assistant didn't stop at <strong>“I think I found the bug”</strong>?</p> <p>What if it had to investigate an unfamiliar repository, build an evidence-backed explanation, propose a change, and then <strong>prove that the repository actually works after the change</strong>?</p> <p>That is what I built with <strong>RepoMedic</strong> for the Hacktoberfest Weekend Challenge.</p> <blockquote> <p><strong>AI proposes. Evidence decides.</strong></p> </blockquote> <p>Demo Video — <a href="https://drive.google.com/file/d/1djNOexyGXihN_YkK6-_dwoQo-N6qTXpU/view?usp=sharing" rel="no

Outcome

<p>What if an AI coding assistant didn't stop at <strong>“I think I found the bug”</strong>?</p> <p>What if it had to investigate an unfamiliar repository, build an evidence-backed explanation, propose a change, and then <strong>prove that the repository actually works after the change</strong>?</p> <p>That is what I built with <strong>RepoMedic</strong> for the Hacktoberfest Weekend Challenge.</p> <blockquote> <p><strong>AI proposes. Evidence decides.</strong></p> </blockquote> <p>Demo Video — <a href="https://drive.google.com/file/d/1djNOexyGXihN_YkK6-_dwoQo-N6qTXpU/view?usp=sharing" rel="no

Evidence

RepoMedic: An AI Field Engineer That Proves Its Fixes

Source