esbmc/esbmc-ai
Automated Code Repair suite powered by ESBMC and LLMs.
This tool helps software developers and researchers automatically fix bugs in C/C++ code. You provide it with code that has issues, along with verification output from ESBMC, and it uses AI to suggest and apply repairs. This is designed for those working on program verification and automated bug fixing.
Use this if you are a software developer or researcher looking for an automated way to repair bugs in C/C++ code, especially when integrated with formal verification tools like ESBMC.
Not ideal if you are a non-developer or work with programming languages other than C/C++.
Stars
39
Forks
9
Language
Python
License
—
Category
Last pushed
Feb 20, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/esbmc/esbmc-ai"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Related tools
OWASP/www-project-top-10-for-large-language-model-applications
OWASP Top 10 for Large Language Model Apps (Part of the GenAI Security Project)
cla7aye15I4nd/PatchAgent
[USENIX Security 25] PatchAgent is a LLM-based practical program repair agent that mimics human...
iSEngLab/AwesomeLLM4APR
[TOSEM 2026]A Systematic Literature Review on Large Language Models for Automated Program Repair
YerbaPage/MGDebugger
Multi-Granularity LLM Debugger [ICSE2026]
Mohannadcse/AlloySpecRepair
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal...