Metadata-Version: 2.4
Name: esbmc_ai
Version: 0.5.2.dev3
Summary: LLM driven development and automatic repair kit.
Project-URL: Documentation, https://github.com/esbmc/esbmc-ai/wiki
Project-URL: Homepage, https://github.com/esbmc/esbmc-ai
Project-URL: Issues, https://github.com/esbmc/esbmc-ai/issues
Project-URL: Source Code, https://github.com/esbmc/esbmc-ai
Author-email: Yiannis Charalambous <yiannis128@hotmail.com>
License-File: CLA.md
License-File: LICENSE
Keywords: AI,LLM,automated code repair,esbmc
Classifier: License :: OSI Approved :: GNU Affero General Public License v3 or later (AGPLv3+)
Classifier: License :: Other/Proprietary License
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.12
Requires-Dist: blessed
Requires-Dist: langchain
Requires-Dist: langchain-anthropic
Requires-Dist: langchain-community
Requires-Dist: langchain-ollama
Requires-Dist: langchain-openai
Requires-Dist: lizard
Requires-Dist: platformdirs
Requires-Dist: pydantic
Requires-Dist: python-dotenv
Requires-Dist: regex
Requires-Dist: structlog
Requires-Dist: torch
Requires-Dist: transformers
Description-Content-Type: text/markdown

# ESBMC AI


[![Development](https://github.com/esbmc/esbmc-ai/actions/workflows/workflow.yml/badge.svg?branch=master)](https://github.com/esbmc/esbmc-ai/actions/workflows/workflow.yml)
[![Docker Repository on Quay](https://quay.io/repository/yiannis128/esbmc-ai/status "Docker Repository on Quay")](https://quay.io/repository/yiannis128/esbmc-ai)
[![GitHub All Releases](https://img.shields.io/github/downloads/esbmc/esbmc-ai/total.svg)](https://github.com/esbmc/esbmc-ai/releases)

Automated LLM Integrated Workflow Platform. Primarily oriented around Automated Program Repair (APR) research. There are different commands that can be executed with ESBMC-AI. There are different commands that ESBMC-AI can run, and can also be extended with Addons (see [below](#wiki)).

The basic repair implementation passes the output from ESBMC to an AI model with instructions to repair the code. As the output from ESBMC can be quite technical in nature.

![ESBMC-AI Visual Abstract](https://raw.githubusercontent.com/esbmc/esbmc-ai/master/website/content/docs/images/esbmc-ai_framework.png)

![ESBMC-AI Platform](https://raw.githubusercontent.com/esbmc/esbmc-ai/master/website/content/docs/images/platform_diag.png)

## Quick Start

```sh
hatch run esbmc-ai ...
```

## Demonstration

[![Fix Code Demo](https://img.youtube.com/vi/anpRa6GpVdU/0.jpg)](https://www.youtube.com/watch?v=anpRa6GpVdU)

More videos can be found on the [ESBMC-AI Youtube Channel](https://www.youtube.com/@esbmc-ai)

## Wiki

For full documentation, see the [ESBMC-AI Wiki](https://esbmc.github.io/esbmc-ai). Quick Links:

* [Initial Setup Guide](https://esbmc.github.io/esbmc-ai/docs/initial-setup/)
* [Built-in Commands](https://esbmc.github.io/esbmc-ai/docs/commands/)
* [Addons](https://esbmc.github.io/esbmc-ai/docs/addons/)

## Contributing

See [this page](https://esbmc.github.io/esbmc-ai/docs/contributing).

## License

> [!NOTE]
>This project is offered under a [dual-licence](https://github.com/esbmc/esbmc-ai/blob/master/LICENSE) model.
