PyPI page
Author:
hongyu
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.22.0
Required dependencies:
fuzzysearch
|
imandrax-api
|
imandrax-api-models
|
imandrax-tools
|
iml-query
|
mcp
|
pydantic
|
pyyaml
|
rich
|
structlog
|
typer
Optional dependencies:
anywidget
|
imandrax-codegen
|
imandrax-tools
Downloads last day:
91
Downloads last week:
391
Downloads last month:
644
7-day smoothing