We’ve been working hard in the last few weeks! Here are the latest updates:
Imandra Universe:
-
We now have MCP servers available in production for ImandraX, CodeLogician, and Reasoner Gateway (for reasoner discovery and uniform evaluation).
– Check out the Central documentation
– Check out the new MCP servers in the gallery (with specific setup docs in each page) -
CodeLogician can is accessible via IU’s Python API, and that library’s CLI interface (
imandra-cli). -
Our VSCode extensions, notably CodeLogician and ImandraX, can now be leveraged by Cursor much more easily.
ImandraX:
- ImandraX installation now integrated into VS Code plugin!
- New ImandraX theorem proving tactics for ergonomic, targeted (induction-aware) term simplification and symbolic execution
- Improved simplification for constraints and invariants in region decompositions, especially involving inequalities