DiscoverIA MCP

A read-only MCP server providing access to the DiscoverIA registry of AI-assisted scientific claims. It allows agents to search announcements, retrieve specific claim details, check evaluation statuses (from not evaluated to formally verified), view recent changes, and access frontier data and citations.

Endpoint and access

No sign-in to connect and list tools. Individual tools may still need a vendor account, credentials, or permissions; check the documented prerequisites.

Vendor evidenceStreamable HTTPNo sign-inEndpoint checked 2026-11-01Operated by DiscoverIA

MCP endpoint (Streamable HTTP)

https://mcp.discoveria.ai/mcp

Vendor documentation

What you can do with it

Search for AI research announcements
Retrieve detailed status of a specific claim
List current evaluation statuses
Access recent changes in the registry

Source and maintenance

Vendor evidenceRegistry 0.1.0

mcp-registry: ai.discoveria/discoveria@0.1.0 Project website

Protocol and capabilities

Server: discoveria-mcp 0.1.0
MCP protocol: 2025-06-18
Tools: 6 advertised
Resources: Not advertised
Resource templates: Not advertised
Prompts: Not advertised

Server-advertised capabilities

{
  "tools": {
    "listChanged": false
  }
}

Server-provided instructions

Untrusted server output shown for inspection. It is not Koskamo guidance and is excluded from knowledge search.

Read-only access to DiscoverIA (https://discoveria.ai), an independent registry of AI-assisted scientific claims and of where their evaluation stands. A status says where the evaluation of a claim stands, not whether the result is true; always give the date the status was observed. Start with search_announcements, then get_announcement for details. Pass lang='fr' or 'en'. Data are CC BY 4.0: credit DiscoverIA.

Tools

6 advertised

search_announcements — Search the DiscoverIA registry

Advertised by the server during the last successful anonymous check.

Advertised read-only

Search DiscoverIA's registry of AI-assisted scientific claims by free text, status, lab, discipline and announcement date. Returns paginated entries with their current status, the date that status was observed and a link to the entry's page. A status says where the evaluation of a claim stands, not whether the result is true. Entries from the frozen Erdős-wiki archive have statuses dated at the freeze.

search_announcements input schema

{
  "type": "object",
  "properties": {
    "lab": {
      "type": "string",
      "pattern": "^[a-z0-9](?:[a-z0-9-]{0,58}[a-z0-9])?$",
      "maxLength": 60,
      "description": "Lab slug from DiscoverIA's lab report, e.g. 'openai', 'google-deepmind', 'anthropic', 'harmonic', 'math-inc'. Matches claims announced by the lab and results obtained by others with its systems. The Erdős-wiki archive is not attributed to labs."
    },
    "lang": {
      "enum": [
        "fr",
        "en"
      ],
      "type": "string",
      "default": "en",
      "description": "Language of titles, labels and texts: 'fr' (French) or 'en' (English). Default 'en'. Use the user's language."
    },
    "page": {
      "type": "integer",
      "default": 1,
      "maximum": 500,
      "minimum": 1,
      "description": "Page number, from 1."
    },
    "query": {
      "type": "string",
      "maxLength": 200,
      "description": "Free text matched against title, claimant, id, discipline and nature. All words must match; accents and case are ignored. Omit to list everything."
    },
    "status": {
      "enum": [
        "verifie-formellement",
        "relu-par-pairs",
        "en-examen",
        "conteste",
        "retire",
        "non-evalue",
        "teste-par-un-tiers",
        "disponible",
        "demo-seulement",
        "annonce",
        "abandonne"
      ],
      "type": "string",
      "description": "Keep only entries with this status (see list_statuses)."
    },
    "page_size": {
      "type": "integer",
      "default": 10,
      "maximum": 50,
      "minimum": 1,
      "description": "Results per page, 1 to 50. Default 10."
    },
    "discipline": {
      "type": "string",
      "pattern": "^[a-z0-9](?:[a-z0-9-]{0,58}[a-z0-9])?$",
      "maxLength": 60,
      "description": "Discipline slug, e.g. 'mathematiques', 'informatique-theorique', 'biologie-medecine', 'physique'."
    },
    "announced_to": {
      "type": "string",
      "pattern": "^[0-9]{4}(?:-(?:0[1-9]|1[0-2])(?:-(?:0[1-9]|[12][0-9]|3[01]))?)?$",
      "maxLength": 10,
      "description": "YYYY, YYYY-MM or YYYY-MM-DD. Keeps entries whose announcement period starts on or before this date."
    },
    "announced_from": {
      "type": "string",
      "pattern": "^[0-9]{4}(?:-(?:0[1-9]|1[0-2])(?:-(?:0[1-9]|[12][0-9]|3[01]))?)?$",
      "maxLength": 10,
      "description": "YYYY, YYYY-MM or YYYY-MM-DD. Keeps entries whose announcement period ends on or after this date (a claim dated '2026-02' matches announced_from '2026-02-15')."
    },
    "include_archive": {
      "type": "boolean",
      "default": true,
      "description": "Include the frozen archive of T. Tao's AI-Erdős wiki (about 520 entries). Default true."
    }
  },
  "additionalProperties": false
}

search_announcements annotations

{
  "title": "Search the DiscoverIA registry",
  "readOnlyHint": true,
  "openWorldHint": false,
  "idempotentHint": true,
  "destructiveHint": false
}

get_announcement — Get one registry entry

Advertised by the server during the last successful anonymous check.

Advertised read-only

Get one entry of the DiscoverIA registry by id: claim, claimant, current status with its rule, dated status history with sources, verifiers, links, statement fidelity, events, related frontiers and the plain-language summary. A status says where the evaluation stands, not whether the result is true.

get_announcement input schema

{
  "type": "object",
  "required": [
    "id"
  ],
  "properties": {
    "id": {
      "type": "string",
      "pattern": "^[a-z0-9](?:[a-z0-9-]{0,118}[a-z0-9])?$",
      "maxLength": 120,
      "minLength": 1,
      "description": "Entry id (slug), e.g. 'gauss-sphere-packing-dim8', as returned by search_announcements."
    },
    "lang": {
      "enum": [
        "fr",
        "en"
      ],
      "type": "string",
      "default": "en",
      "description": "Language of titles, labels and texts: 'fr' (French) or 'en' (English). Default 'en'. Use the user's language."
    }
  },
  "additionalProperties": false
}

get_announcement annotations

{
  "title": "Get one registry entry",
  "readOnlyHint": true,
  "openWorldHint": false,
  "idempotentHint": true,
  "destructiveHint": false
}

list_statuses — List the statuses and their counts

Advertised by the server during the last successful anonymous check.

Advertised read-only

List DiscoverIA's six evaluation statuses for scientific claims (and the provisional product statuses) with their definitions and the number of entries in each. A status says where the evaluation stands, not whether the result is true.

list_statuses input schema

{
  "type": "object",
  "properties": {
    "lang": {
      "enum": [
        "fr",
        "en"
      ],
      "type": "string",
      "default": "en",
      "description": "Language of titles, labels and texts: 'fr' (French) or 'en' (English). Default 'en'. Use the user's language."
    }
  },
  "additionalProperties": false
}

list_statuses annotations

{
  "title": "List the statuses and their counts",
  "readOnlyHint": true,
  "openWorldHint": false,
  "idempotentHint": true,
  "destructiveHint": false
}

recent_changes — Recent status changes and news feed

Advertised by the server during the last successful anonymous check.

Advertised read-only

Latest status changes in the registry (last 90 days, with source) and the latest items of DiscoverIA's feed (last 30 days: sciences, models and labs, apps, devices).

recent_changes input schema

{
  "type": "object",
  "properties": {
    "kind": {
      "enum": [
        "all",
        "status",
        "feed"
      ],
      "type": "string",
      "default": "all",
      "description": "'status' for status changes only, 'feed' for feed items only, 'all' for both. Default 'all'."
    },
    "lang": {
      "enum": [
        "fr",
        "en"
      ],
      "type": "string",
      "default": "en",
      "description": "Language of titles, labels and texts: 'fr' (French) or 'en' (English). Default 'en'. Use the user's language."
    },
    "limit": {
      "type": "integer",
      "default": 20,
      "maximum": 50,
      "minimum": 1,
      "description": "Maximum items per list, 1 to 50. Default 20."
    }
  },
  "additionalProperties": false
}

recent_changes annotations

{
  "title": "Recent status changes and news feed",
  "readOnlyHint": true,
  "openWorldHint": false,
  "idempotentHint": true,
  "destructiveHint": false
}

get_frontier — Get a frontier and its current record

Advertised by the server during the last successful anonymous check.

Advertised read-only

Frontiers track the best known bound of a quantity (e.g. a kissing number) and who moved it. With an id: the frontier, its current lower and upper records (exact values as strings, never rounded) and its series. Without an id: the list of frontiers with their current records.

get_frontier input schema

{
  "type": "object",
  "properties": {
    "id": {
      "type": "string",
      "pattern": "^[a-z0-9](?:[a-z0-9-]{0,118}[a-z0-9])?$",
      "maxLength": 120,
      "minLength": 1,
      "description": "Frontier id, e.g. 'kissing-d11'. Omit to list all frontiers."
    },
    "lang": {
      "enum": [
        "fr",
        "en"
      ],
      "type": "string",
      "default": "en",
      "description": "Language of titles, labels and texts: 'fr' (French) or 'en' (English). Default 'en'. Use the user's language."
    }
  },
  "additionalProperties": false
}

get_frontier annotations

{
  "title": "Get a frontier and its current record",
  "readOnlyHint": true,
  "openWorldHint": false,
  "idempotentHint": true,
  "destructiveHint": false
}

get_citation — Cite a registry entry

Advertised by the server during the last successful anonymous check.

Advertised read-only

Dated citation of a registry entry in APA and/or BibTeX, with its status and the date that status was observed. Data are CC BY 4.0, credit DiscoverIA.

get_citation input schema

{
  "type": "object",
  "required": [
    "id"
  ],
  "properties": {
    "id": {
      "type": "string",
      "pattern": "^[a-z0-9](?:[a-z0-9-]{0,118}[a-z0-9])?$",
      "maxLength": 120,
      "minLength": 1,
      "description": "Entry id (slug), e.g. 'gauss-sphere-packing-dim8', as returned by search_announcements."
    },
    "lang": {
      "enum": [
        "fr",
        "en"
      ],
      "type": "string",
      "default": "en",
      "description": "Language of titles, labels and texts: 'fr' (French) or 'en' (English). Default 'en'. Use the user's language."
    },
    "style": {
      "enum": [
        "apa",
        "bibtex",
        "both"
      ],
      "type": "string",
      "default": "both",
      "description": "'apa', 'bibtex' or 'both'. Default 'both'."
    }
  },
  "additionalProperties": false
}

get_citation annotations

{
  "title": "Cite a registry entry",
  "readOnlyHint": true,
  "openWorldHint": false,
  "idempotentHint": true,
  "destructiveHint": false
}

Prompts

Not advertised

No prompt definitions available.

Resources

Not advertised

No resource definitions available.

30-day availability

Aggregated from read-only remote checks; this is not a tool-execution or security guarantee.

Successful checks: 1 of 1 (100%)
Average latency: 213 ms
95th percentile latency: 213 ms

Maintenance history

Public check and source-refresh events. Editorial and ownership records remain private.

Nov 1, 2026, 6:52 PM UTC · probe · passed · 213 ms · metadata changed · 6 tool(s)

Connect from your client

Each snippet registers the same endpoint; pick the client you use.

This server is operated by the named third party. Listing and endpoint checks are not an endorsement or a security audit. Review the operator's permissions, terms, and data handling before connecting. How listings are checked and corrected.

Claude Code

Run this once in a terminal. It registers the remote server. Use --scope project to write .mcp.json for the repo.

Claude Code configuration

claude mcp add --transport http discoveria-mcp https://mcp.discoveria.ai/mcp

Codex

Run this once. Codex stores MCP servers in ~/.codex/config.toml (or .codex/config.toml in a trusted project).

Codex configuration

codex mcp add discoveria-mcp --url https://mcp.discoveria.ai/mcp

Cursor

Merge this server into .cursor/mcp.json in your project, then enable discoveria-mcp in your MCP settings.

Cursor configuration

{
  "mcpServers": {
    "discoveria-mcp": {
      "url": "https://mcp.discoveria.ai/mcp"
    }
  }
}

Cline

Merge this into cline_mcp_settings.json (Cline → MCP Servers → Configure).

Cline configuration

{
  "mcpServers": {
    "discoveria-mcp": {
      "type": "streamableHttp",
      "url": "https://mcp.discoveria.ai/mcp",
      "disabled": false
    }
  }
}

VS Code

Merge this server into .vscode/mcp.json. Use MCP: List Servers to start discoveria-mcp and inspect its tools.

VS Code configuration

{
  "servers": {
    "discoveria-mcp": {
      "type": "http",
      "url": "https://mcp.discoveria.ai/mcp"
    }
  }
}

Gemini CLI

Run this once. It writes .gemini/settings.json in the current project; pass --scope user for ~/.gemini/settings.json.

Gemini CLI configuration

gemini mcp add --transport http discoveria-mcp https://mcp.discoveria.ai/mcp

Claude Desktop

Merge this into claude_desktop_config.json (macOS: ~/Library/Application Support/Claude/, Windows: %APPDATA%\Claude\), then restart Claude Desktop.

Claude Desktop configuration

{
  "mcpServers": {
    "discoveria-mcp": {
      "url": "https://mcp.discoveria.ai/mcp"
    }
  }
}

Windsurf

Merge this into ~/.codeium/windsurf/mcp_config.json, then refresh MCP in Cascade. Windsurf remote servers use serverUrl, not url.

Windsurf configuration

{
  "mcpServers": {
    "discoveria-mcp": {
      "serverUrl": "https://mcp.discoveria.ai/mcp"
    }
  }
}

Let your agent find its tools

Find servers like DiscoverIA MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.

Connect Koskamo Explore workflows

See all 4,376

Do you run DiscoverIA MCP?

Prove ownership with a DNS record, a well-known file, or your Official MCP Registry entry, and your edits publish immediately. Proofs are re-checked weekly; admins can still hide or remove a listing.

Claim this listing

DiscoverIA MCP

Endpoint and access

What you can do with it

Source and maintenance

Protocol and capabilities

Server-provided instructions

Tools

Prompts

Resources

30-day availability

Maintenance history

Connect from your client

Claude Code

Codex

Cursor

Cline

VS Code

Gemini CLI

Claude Desktop

Windsurf

Let your agent find its tools

Other ai and machine learning servers

Do you run DiscoverIA MCP?