Imandra · Authentication Profile

Imandra Authentication

Authentication

Imandra secures its APIs with apiKey across 1 declared security scheme, as derived from its OpenAPI definitions.

CompanyArtificial IntelligenceAutomated ReasoningFormal VerificationTheorem ProvingDeveloper ToolsCode AnalysisFinancial-ServicesgRPCMCP

Methods: apiKey Schemes: 1 OAuth flows: API key in: header, env

Security Schemes

ImandraUniverseApiKey apiKey

· in: header ()

Source

Authentication Profile

generated: '2026-07-19'
method: searched
source: https://codelogician.dev/docs/getting-started/, https://universe.imandra.ai
docs: https://codelogician.dev/docs/getting-started/
summary:
  types: [apiKey]
  api_key_in: [header, env]
schemes:
  - name: ImandraUniverseApiKey
    type: apiKey
    in: header
    env: IMANDRA_UNI_KEY
    description: >-
      Imandra Universe API key. Obtain a free key by signing up at
      https://universe.imandra.ai, then set the IMANDRA_UNI_KEY environment
      variable. The key authenticates the imandra Python client, the
      codelogician CLI, and the CodeLogician MCP server against the hosted
      Imandra Universe / ImandraX reasoning services.
    sources: [https://codelogician.dev/docs/getting-started/]
notes: >-
  Imandra Universe uses an API-key model (no OAuth scope surface documented),
  so no scopes/ artifact is emitted. The self-hosted ImandraX gRPC API
  (see grpc/) uses session-based access via the SessionManager service.

Work with this as data

Every security artifact 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 security posture

4 MCP tools reach this

find_securityBrowse and filter every security artifact in the catalog.
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 security artifact

curl "https://apis.io/api/v1/security/imandra-authentication"

All security posture

curl "https://apis.io/api/v1/security?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.