imandra
A CLI and API client library for interfacing with Imandra's web APIs
- Latest release
- Mar 25, 2026
- Releases
- 56
- Known CVEs
- 0
- First release
- Aug 01, 2019
- License
- —
Insights
Activity
- Total releases
- 56
- Last 12 months
- 30
- Cadence
- ~6 days
- Dependencies
- 16
Releases per month
last 12 monthsRelease mix
- major 2
- minor 7
- patch 39
- pre 7
56
releases
Dependencies
Depends on
2.7.0-
aenum
>=3.1.11
-
aiohttp
-
devtools
>=0.12.2
-
imandrax-api
>=0.18.0.1
-
imandrax-api-models
>=19
-
ipykernel
>=6.29.5
-
langgraph
>=0.2.63
-
langgraph-sdk
<0.3
-
platformdirs
>=4.3
-
pydantic
<2,>=1.10.5
1–10 of 16
Used by
1Releases
| Version | Released | |
|---|---|---|
2.7.0
minor
|
2.7.0
minor
Dependencies (16)
+ 8 more |
|
2.6.0
minor
|
2.6.0
minor
|
|
2.5.0
minor
|
2.5.0
minor
|
|
2.4.1
patch
|
2.4.1
patch
|
|
2.4.0
minor
|
2.4.0
minor
|
|
2.3.1
patch
|
2.3.1
patch
|
|
2.3.0
minor
|
2.3.0
minor
|
|
2.2.0
minor
|
2.2.0
minor
|
|
2.1.6
patch
|
2.1.6
patch
|
|
2.1.5
patch
|
2.1.5
patch
|
|
2.1.4
patch
|
2.1.4
patch
|
|
2.1.3
patch
|
2.1.3
patch
|
|
2.1.2
patch
|
2.1.2
patch
|
|
2.1.1
patch
|
2.1.1
patch
|
|
2.1.0
minor
|
2.1.0
minor
|
|
2.0.23
patch
|
2.0.23
patch
|
|
2.0.22
patch
|
2.0.22
patch
|
|
2.0.20
patch
|
2.0.20
patch
|
|
2.0.19
patch
|
2.0.19
patch
|
|
2.0.18
patch
|
2.0.18
patch
|
1–20 of 56