PyPI page
Home page
Author:
None
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. Use with tools like Claude Code or by itself.
Latest version:
2.9.2
Required dependencies:
fastapi
|
fastapi-mcp
|
fuzzysearch
|
imandra
|
imandrax-api
|
imandrax-api-models
|
imandrax-tools
|
iml-query
|
joblib
|
networkx
|
networkx-mermaid
|
pydantic
|
pydantic-yaml
|
regex
|
rich
|
termcolor
|
textual
|
textual-dev
|
textual-image
|
typer
|
watchdog
Optional dependencies:
imandrax-codegen
Downloads last day:
66
Downloads last week:
105
Downloads last month:
1,238