←
Back to Open Source
🐙 GitHub Detail
E
esbmc/esbmc-ai
By esbmc
Automated Code Repair suite powered by ESBMC and LLMs.
GitHub
Python
Other
Updated 02 Jun 2026
Live Snapshot
⭐
Stars
42
🍴
Forks
9
📄
License
Other
🧩
Type
Python
📘
About this open-source project
Live information fetched from GitHub.
Automated Code Repair suite powered by ESBMC and LLMs.
🌿
Default Branch
master
🐞
Open Issues
52
👀
Watchers
42