Metadata-Version: 2.4
Name: codelogician
Version: 2.0.0b4
Summary: CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code.
Author-email: hongyu <hongyu@imandra.ai>, samer <samer@imandra.ai>, denis <denis@imandra.ai>
License-File: LICENSE
Requires-Python: <3.14,>=3.12
Requires-Dist: chromadb>=1.0.12
Requires-Dist: fastapi-mcp>=0.4.0
Requires-Dist: fastapi>=0.116.1
Requires-Dist: fuzzysearch>=0.8.1
Requires-Dist: imandra[universe]>=2.3.0
Requires-Dist: imandrax-api-models>=1.1.1
Requires-Dist: iml-query>=0.5.1
Requires-Dist: joblib>=1.5.1
Requires-Dist: matplotlib>=3.10.3
Requires-Dist: networkx-mermaid>=0.1.7
Requires-Dist: networkx>=3.5
Requires-Dist: pydantic-yaml>=1.6.0
Requires-Dist: pydantic>=2.11.5
Requires-Dist: rich>=14.0.0
Requires-Dist: termcolor>=3.1.0
Requires-Dist: textual-dev>=1.7.0
Requires-Dist: textual-image>=0.8.3
Requires-Dist: textual>=6.0.0
Requires-Dist: watchdog>=6.0.0
Description-Content-Type: text/markdown

# CodeLogician 2.0 (Server) 

CodeLogician v2.0 now contains a server for performing asynchronous formalization strategies for entire directories, interacting with the CodeLogician Agent (and soon, other agents) ito formalize the code, fix issues, generate test cases and perform formally verified modifications. 

**Note: CodeLogician requires `IMANDRA_UNI_KEY` to be set to a valid Imandra Universe API key. Get yours at https://www.imandra.ai**


To run the server for a starting directory:

```shell
codelogician start -d PATH_TO_DIRECTORY 
```

To run server in 'oneshot' mode:
```shell
codelogician oneshot -d PATH_TO_DIRECTORY
```
