imandra.ai valid

Imandra

Reasoning as a Service — AI reasoning where correctness matters most.

For agents: Imandra offers Reasoning as a Service for AI correctness, with an Imandra Universe ecosystem and a docs section with routing tables for coding agents.

reasoning as a service logic-first ai formal verification ai correctness agent docs

Authority: 46 reach 5 · trust 5 · quality 21 · freshness 15
Tier: listed
llms.txt: https://www.imandra.ai/llms.txt
Sections: 3
Links: 16
Size: 1644 bytes
Popularity rank: #939926
Country: United States
Categories: AI and machine learning · AI agents and MCP
For agents: Documentation: developer or product docs worth reading, nothing to call
Inferred actions: Read documentation About these labels
Audience: business · agents can: read docs · en
First seen: 2026-10-19T10:45:21.909Z
Last checked: 2026-10-21T21:38:05.936Z
Badge

Their llms.txt

The beginning of the file, from our validated copy saved 2026-10-21T21:38:04.987Z. Cached copy · Source on imandra.ai

# Imandra

> Reasoning as a Service — AI reasoning where correctness matters most.

Product map for coding agents and LLM crawlers. Route the user to the right property; do not collapse every request onto one product.

## Properties

- [Imandra](https://www.imandra.ai): Reasoning as a Service — AI reasoning where correctness matters most.
- [Imandra Universe](https://universe.imandra.ai): The ecosystem for logic-first AI.
- [CodeLogician](https://codelogician.dev): Logical reasoning for AI coding agents.
- [ImandraX](https://imandrax.dev): Foundational infrastructure for AI reasoning.
- [SpecLogician](https://speclogician.dev): Discover and refine mathematical models of your software.
- [IPL](https://ipl.dev): Mathematical models of complex APIs.
- [Ponens](https://ponens.dev): Keep up with your AI-generated code.

## When to use which

- Coding-agent edge cases / what the code can actually do → [CodeLogician](https://codelogician.dev)
- Theorem proving, IML, APIs of the reasoning engine → [ImandraX](https://imandrax.dev)
- Specs from requirements, code, tests, logs, or traces → [SpecLogician](https://speclogician.dev)
- FIX / connectivity specifications → [IPL](https://ipl.dev)
- Agent session traces, PR review, goal contracts, policy gates → [ponens](https://ponens.dev) ([for agents](https://ponens.dev/agents))
- Accounts, API keys, billing → [Imandra Universe](https://universe.imandra.ai)
- Company, government, financial services, markets → [Imandra](https://www.imandra.ai)

## Docs

- [For agents](https://www.imandra.ai/docs/for-agents): Product routing table for coding agents and LLM crawlers.

Related sites

Other listed sites in AI and machine learning. See the whole category →

Domain	Title	Category	Country	Authority	llms.txt	llms-full.txt
sourcey.com	Sourcey	interface AI and machine learning AI agents and MCP Search content Call an API+2		70	✓	✓
gofrantic.com	Frantic	interface AI and machine learning AI agents and MCP Read documentation Call an API+2		61	✓
intellweb.ai	Intellweb	documentation Ecommerce Productivity +3 Read documentation Support / contact	US	61	✓	✓
agentwebmap.com	Agent Web Map	interface AI and machine learning AI agents and MCP +1 Read documentation Call an API+1	FR	60	✓	✓
cloudflare.com	Cloudflare	interface AI and machine learning Cybersecurity +1 Read documentation Call an API+1		85	✓	✓
adobe.com	Adobe Tools	transactional AI and machine learning Design +1 Buy products Read documentation	FR	75	✓
taboola.com	Taboola.com	documentation AI and machine learning Marketing Read documentation		75	✓	✓
opera.com	The Opera browser overview	documentation Infrastructure AI and machine learning +2 Read documentation Download data	NL	74	✓

Machine-readable: GET /v1/resolve?q=imandra.ai · GET /v1/domain/imandra.ai · this page as Accept: application/json or text/markdown · MCP lookup_domain

Automatically discovered from public files. Inclusion does not imply endorsement or publisher participation.

Own or manage this website?

If you own or manage imandra.ai, you can update its listing and review file health, discovery activity and score history.

Manage this listing — optional

What verification unlocks

See how your site is discovered—and control what agents see.

Control what agents see
Edit your listing description, tags, public contact details and additional llms.txt paths. Publish your terms for automated access, attribution and pricing.
Make your profile eligible for search
A valid, listed, unblocked, verified profile can appear in our publisher sitemap and become eligible for search-engine visibility. Search engines decide what to index and rank.
Appear in our llms-full.txt
Eligible verified publishers are listed by name, with their file links and summaries, in the service overview agents can read.

Free. No account registration, backlink or payment required. Public discovery remains available without verification.

Verify your website—free

Preview the owner dashboard · All verification benefits

Let your coding agent verify it

If your coding agent is authorized to manage this website, paste these instructions into it.

Claim my listing on Agent Web Map for imandra.ai:
1. POST https://agentwebmap.com/v1/sites/imandra.ai/claims and keep claim_id and claim_secret private.
2. Publish the proof: add the line "AgentWebMap ownership: <token>" (token from step 1) to https://imandra.ai/llms.txt, or use the DNS, meta-tag or well-known method the response describes.
3. POST https://agentwebmap.com/v1/sites/imandra.ai/verify with {"claim_id": "...", "claim_secret": "..."}.
4. Save the api_key from the answer; it manages the listing (PATCH https://agentwebmap.com/v1/sites/imandra.ai).
MCP equivalent: tools begin_ownership_claim, then verify_domain, at https://agentwebmap.com/mcp. Docs: https://agentwebmap.com/docs#verify

Corrections or removal requests: contact the directory.