# ImandraX API

**Canonical:** https://apis.io/apis/imandra/imandrax-api/  
**Provider:** Imandra — https://apis.io/providers/imandra/  
**Base URL:** https://universe.imandra.ai  
**Documentation:** https://imandrax.dev/docs

ImandraX API is published by [Imandra](https://apis.io/providers/imandra/) on the [APIs.io](https://apis.io/) network. Tagged areas include Automated Reasoning, Theorem Proving, and gRPC. The published artifact set on APIs.io includes API documentation.

The ImandraX cloud-native automated reasoning engine, exposed as a protobuf-defined gRPC API. Services include Eval (evaluate code snippets, parse terms/types, manage artifacts), Simple (verify, test, qcheck, instance-find, decompose, typecheck, oneshot), SessionManager (stateful reasoning sessions), and System (version and memory management). An HTTP API client is also published for OCaml.

## Machine-readable artifacts (5)

- **Protobuf** — https://raw.githubusercontent.com/api-evangelist/imandra/refs/heads/main/grpc/_index.yml
- **Protobuf** — https://raw.githubusercontent.com/api-evangelist/imandra/refs/heads/main/grpc/imandra-api.proto
- **Protobuf** — https://raw.githubusercontent.com/api-evangelist/imandra/refs/heads/main/grpc/imandra-simple_api.proto
- **Documentation** — https://imandrax.dev/docs
- **APIsJSON** — https://raw.githubusercontent.com/api-evangelist/imandra/refs/heads/main/apis.yml

## Tags

Automated Reasoning, Theorem Proving, gRPC

---

Profiled by [API Evangelist](https://apievangelist.com) and published on [APIs.io](https://apis.io/apis/imandra/imandrax-api/). The API's provider profile, Kin Score and agent-readiness rating are at https://apis.io/providers/imandra/.