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

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