Imandra
We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.
Pinned Loading
Repositories
Showing 10 of 115 repositories
- ponens Public
Turn an AI coding agent's session into a higher-level reasoning record — curated, verifiable, and governed by computable best-practice policies.
- imandrax-tools Public
- tree-sitter-iml Public
- gemini-cli Public Forked from google-gemini/gemini-cli
An open-source AI agent that brings the power of Gemini directly into your terminal.
Top languages
Loading…
Most used topics
Loading…