Developer Docs

API reference, guides, and examples for integrating with LLM Prover programmatically.

API Reference

Make your first comparison via the LLM Prover API in under 5 minutes.

How to create and use API keys to authenticate with the LLM Prover API.

How the LLM Prover async job pattern works -- submit, poll, retrieve.

Per-tier rate limits, 429 response shape, and backoff strategy.

Standard error codes, response envelope shape, and how to handle each.

What constitutes fair use of the LLM Prover API and what triggers suspension.

Things that catch developers out when integrating with the LLM Prover API.

End-to-end API examples covering comparisons, evaluations, benchmarks, and RAG.

How to paginate through large result sets on list endpoints.

LLM Prover API version history and breaking changes.

Connect an AI agent to LLM Prover via MCP and make your first tool call in under 5 minutes.

Every LLM Prover MCP tool, its input fields, and what it returns.

End-to-end examples for running comparisons, evaluations, and benchmarks via MCP.