The first release of ESBMC-AI, the release includes two features. There are many more planned features! This is a big first step with this release. Currently, the only supported way of running this software is to run it from the project folder, as there is no way of packaging this software and installing it on your system. The next release will aim to include a way to package ESBMC-AI using [the build package](https://pypi.org/project/build/) and hence allowing installation from repositories such as [PyPi](pypi.org).
User Chat Mode
As the output from ESBMC can be technical in nature, and often requires technical experts in the field to decipher, at the most basic level; ESBMC-AI uses the power of LLM to simplify the output of ESBMC so that it is more accessible. It also allows the user to prompt the AI model a wide variety of questions in order to understand the problem at hand much better.
Solution Generation Mode
When "/fix-code" is entered in the user chat mode interface, the Solution Generation Mode is activated. In Solution Generation Mode, the AI model is tasked with automatically fixing the software vulnerabilities. Solutions generated are checked with ESBMC to ensure the code generated is correct, and if not, the output from ESBMC is given back to Solution Generation Mode so that the AI can improve the solution.
Version 0.1 has a number of improvements from the previous posts, such as the ability to compress message conversations so that you are able to infinitely converse with the AI model. Below is a more comprehensive change log.
Features
* User chat mode
* `fix-code` command and `SolutionGenerator` - Solution evaluation loop by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/21
* Token management by Yiannis128 in https://github.com/Yiannis128/esbmc-ai/pull/39
**Full Changelog**: https://github.com/Yiannis128/esbmc-ai/commits/v0.1.0