Docs for agents

Copy as Markdown

How an agent reads these docs, through the MCP server at docs.theorem.sa with list_docs, search_docs and read_doc, or as plain Markdown.

These docs are written for agents as much as for people. An agent can reach them in four ways, and each gives the same pages. None needs a sign-in or a key.

The MCP server

The address is https://docs.theorem.sa/mcp, over streamable HTTP. It has three tools, and all of them only read:

Tool	Takes	Answers
`list_docs`	nothing	Every page by section, each with its path, title and summary.
`search_docs`	`query`	The pages that match, each with the heading it was found under and a snippet.
`read_doc`	`path`, such as `/teams/roles`	The page's Markdown.

Start with list_docs or search_docs, then read the pages you need with read_doc.

The assistant in Theorem has these docs already, as its connection Theorem docs.

Adding it to your own agent

Add https://docs.theorem.sa/mcp to your agent as a remote MCP server over streamable HTTP, with no authorization. For example:

Claude Code: claude mcp add --transport http theorem-docs https://docs.theorem.sa/mcp. Add --scope project to keep it in the project's .mcp.json.

A client that reads a JSON file of servers, such as .mcp.json:

{
  "mcpServers": {
    "theorem-docs": {
      "type": "http",
      "url": "https://docs.theorem.sa/mcp"
    }
  }
}

The name theorem-docs is yours to choose.

Plain text

Address	What it is
`https://docs.theorem.sa/llms.txt`	Every page, with its summary and address.
`https://docs.theorem.sa/llms-full.txt`	All the pages in one file.
Any page with `.md` added	That page's Markdown, with its examples in place: `https://docs.theorem.sa/teams/roles.md`.

Limits

One address may ask 120 times a minute. Past that, it is answered 429. A request's body may be up to 64,000 bytes.