codelogician
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 release
- May 14, 2026
- Releases
- 34
- Known CVEs
- 0
- First release
- Oct 14, 2025
- License
- —
Insights
Activity
- Total releases
- 34
- Last 12 months
- 34
- Cadence
- ~5 days
- Dependencies
- 22
Releases per month
last 12 monthsRelease mix
- minor 9
- patch 13
- pre 11
34
releases
Dependencies
Depends on
2.9.4-
fastapi
>=0.116.1
-
fastapi-mcp
>=0.4.0
-
fuzzysearch
>=0.8.1
-
imandra
>=2.7.0
-
imandrax-api
<0.20,>=0.19
-
imandrax-api-models
>=19.4.1
-
imandrax-codegen
>=19.0.0
-
imandrax-tools
>=19.0.3
-
iml-query
>=0.10.1
-
joblib
>=1.5.1
1–10 of 22
Used by
Nothing tracked depends on this yet.
Releases
| Version | Released | |
|---|---|---|
2.9.4
patch
|
2.9.4
patch
Dependencies (22)
+ 14 more |
|
2.9.3
patch
|
2.9.3
patch
|
|
2.9.2
patch
|
2.9.2
patch
|
|
2.9.1
patch
|
2.9.1
patch
|
|
2.9.0
minor
|
2.9.0
minor
|
|
2.8.0
minor
|
2.8.0
minor
|
|
2.7.3
patch
|
2.7.3
patch
|
|
2.7.2
patch
|
2.7.2
patch
|
|
2.7.1
patch
|
2.7.1
patch
|
|
2.7.0
minor
|
2.7.0
minor
|
|
2.6.1
patch
|
2.6.1
patch
|
|
2.6.0
minor
|
2.6.0
minor
|
|
2.5.0
minor
|
2.5.0
minor
|
|
2.4.0
minor
|
2.4.0
minor
|
|
2.3.2
patch
|
2.3.2
patch
|
|
2.3.1
patch
|
2.3.1
patch
|
|
2.3.0
minor
|
2.3.0
minor
|
|
2.2.1
patch
|
2.2.1
patch
|
|
2.2.0
minor
|
2.2.0
minor
|
|
2.1.0
minor
|
2.1.0
minor
|
1–20 of 34