Imandra

ImandraX API

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.

GitHub

Documentation

📖
Documentation
https://imandrax.dev/docs

Other Resources

🔗
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
🔗
APIsJSON
https://raw.githubusercontent.com/api-evangelist/imandra/refs/heads/main/apis.yml

Work with this as data

Every API here is available over the APIs.io API and to AI agents over MCP.

MCP server

One button, every client — Claude, Cursor, VS Code and the rest.

https://apis.io/mcp

Tools for apis

7 MCP tools reach this
  • find_apisBrowse and filter every API in the catalog.
  • get_api_artifactsOne API's artifacts, grouped by type.
  • get_openapiThe primary OpenAPI for this API.
  • find_similar_apisAPIs that look like this one.
  • apis_io_searchSTART HERE — APIs, providers and tags for one query, each with its total.
  • resolveTurn a domain, URL or GitHub org into the provider it belongs to.
  • find_cohortsEvery scored population of providers in the catalog.
All 92 tools →

Call it yourself

curl for this page
This API 
curl "https://apis.io/api/v1/apis/imandrax-api"
All apis 
curl "https://apis.io/api/v1/apis?limit=25"

Discovery needs no key. Ratings and market analysis are Pro.

Get an API key

Free tier, no form to fill in. Signing in shares your email address with us — we store it to create your key and to recognise you if you sign in with another provider. See our Privacy Policy and Terms.

GitHub Google LinkedIn

A second provider on the same verified email joins the account you already have.

API entry from apis.yml

apis.yml Raw ↑ 
name: ImandraX API
description: 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.
humanURL: https://imandrax.dev/docs
baseURL: https://universe.imandra.ai
tags:
- Automated Reasoning
- Theorem Proving
- gRPC
properties:
- type: Protobuf
  url: grpc/_index.yml
- type: Protobuf
  url: grpc/imandra-api.proto
- type: Protobuf
  url: grpc/imandra-simple_api.proto
- type: Documentation
  url: https://imandrax.dev/docs