Metadata-Version: 2.4
Name: codelogician
Version: 2.0.0b5
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: pytest-textual-snapshot>=1.1.0
Requires-Dist: regex>=2025.11.3
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

*CodeLogician* is the neurosymbolic agentic governance framework for AI-powered coding.

*It helps your coding agent think logically about the code it's producing and test cases it's generating.*
The fundamental flaw that all LLM-powered assistants have is the reasoning they're capable of is based on statistics,
while you need rigorous logic-based automated reasoning.

- Generated code is based on explainable logic, not pure statistics
- Generated test cases are generated come with quantitative coverage metrics
- Generated code is consistent with the best security practices leveraging formal verification

To run *CodeLogician*, please obtain an *Imandra Universe API* key available (there's a free starting plan) 
at *[Imandra Universe](https://universe.imandra.ai)* and make sure it's available in your environment as `IMANDRA_UNI_KEY`.

*Three typical workflows*:
1. **DIY mode** - this is where your agent (e.g. Grok) uses the CLI to:
- Learn how to use IML/ImandraX via **`doc`** command (e.g. **`codelogician doc --help`**)
- Synthesizes IML code and uses the **`eval`** command to evaluate it
- If there're errors, use **`codelogician doc view errors`** command to study how to correct the errors and re-evalute the code

2. **Agent/multi-agent mode** - CodeLogician IML Agent is a Langgraph-based agent for automatically formalizing source code into Imandra Modeling Language (IML).
- With `agent` command you can formalize a single source code file (e.g. `codelogician agent PATH_TO_FILE`)
- With `multiagent` command you can formalize a whole directory (e.g. `codelogician agent PATH_TO_DIR`)

3. **Server** 
- This is a "live" and interactive version of the `multiagent` command
- It monitors the filesystem and fire's off formalization tasks on source code updates as necessary
- You can start the server and connect to it with the TUI (we recommend separate terminal screens)


Learn more at *[CodeLogician](https://www.codelogician.dev)!*

To get started, 
```shell
codelogician --help
```