Read-only registry of AI-assisted scientific claims and where their evaluation stands (fr/en)
Maintain this server? Claim it
Call this server's tools from your browser. Nothing to install.
Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.
Tool list from our last check. Connect live to refresh it.
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.
Entry id (slug), e.g. 'gauss-sphere-packing-dim8', as returned by search_announcements.
Language of titles, labels and texts: 'fr' (French) or 'en' (English). Default 'en'. Use the user's language.
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.
| Argument | Type | Description |
|---|---|---|
| id* | string | Entry id (slug), e.g. 'gauss-sphere-packing-dim8', as returned by search_announcements. |
| lang | string | Language of titles, labels and texts: 'fr' (French) or 'en' (English). Default 'en'. Use the user's language. |
{
"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
}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.
| Argument | Type | Description |
|---|---|---|
| id* | string | Entry id (slug), e.g. 'gauss-sphere-packing-dim8', as returned by search_announcements. |
| lang | string | Language of titles, labels and texts: 'fr' (French) or 'en' (English). Default 'en'. Use the user's language. |
| style | string | 'apa', 'bibtex' or 'both'. Default 'both'. |
{
"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
}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.
| Argument | Type | Description |
|---|---|---|
| id | string | Frontier id, e.g. 'kissing-d11'. Omit to list all frontiers. |
| lang | string | Language of titles, labels and texts: 'fr' (French) or 'en' (English). Default 'en'. Use the user's language. |
{
"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
}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.
| Argument | Type | Description |
|---|---|---|
| lang | string | Language of titles, labels and texts: 'fr' (French) or 'en' (English). Default 'en'. Use the user's language. |
{
"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
}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).
| Argument | Type | Description |
|---|---|---|
| kind | string | 'status' for status changes only, 'feed' for feed items only, 'all' for both. Default 'all'. |
| lang | string | Language of titles, labels and texts: 'fr' (French) or 'en' (English). Default 'en'. Use the user's language. |
| limit | integer | Maximum items per list, 1 to 50. Default 20. |
{
"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
}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.
| Argument | Type | Description |
|---|---|---|
| lab | string | 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 | string | Language of titles, labels and texts: 'fr' (French) or 'en' (English). Default 'en'. Use the user's language. |
| page | integer | Page number, from 1. |
| query | string | Free text matched against title, claimant, id, discipline and nature. All words must match; accents and case are ignored. Omit to list everything. |
| status | string | Keep only entries with this status (see list_statuses). |
| page_size | integer | Results per page, 1 to 50. Default 10. |
| discipline |
| string |
| Discipline slug, e.g. 'mathematiques', 'informatique-theorique', 'biologie-medecine', 'physique'. |
| announced_to | string | YYYY, YYYY-MM or YYYY-MM-DD. Keeps entries whose announcement period starts on or before this date. |
| announced_from | string | 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 | boolean | Include the frozen archive of T. Tao's AI-Erdős wiki (about 520 entries). Default true. |
{
"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
}