API Reference

ImandraX is cloud-native, with a full Twirp RPC API and client libraries for programmatic access. This makes it easy to integrate formal reasoning into CI/CD pipelines, AI agent workflows, and custom applications.

The API is defined as protobuf services in the imandrax-api repository, with pre-built client libraries for Python, TypeScript, Rust, and OCaml.

  • HTTP API — The Twirp/protobuf API: services, methods, and message types
  • Python Client — The imandrax-api Python package (sync and async)
  • OCaml Client — OCaml client libraries and core types
  • CLI Reference — The imandrax-cli command-line tool
Previous← Talks & Videos
NextHTTP API →