Skip to content

DiscoverIA

by discoveria.ai · remote · no sign-in to list tools · v0.1.0 · published by ai.discoveria

Read-only registry of AI-assisted scientific claims and where their evaluation stands (fr/en)

Changes · 1
CompareRegistry entry

6 tools: 1 change things and 5 only read.

Scanned Oct 22, 2026

No check matched anything in the tool definitions. No finding is not a safety guarantee. How the checks work.

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

Tools

Open a tool for its reasons and full description. Descriptions are the publisher's own words, shown as they are.

6 tools

Changes things 1Claude Code: ask
  • recent_changesLatest 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).No findings

    Why it is in this group

    • Nothing in its name or description says what it does, so it is counted as a write.
    • The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
    Description, as the server wrote it
    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).

    Annotations the server declares

    • title: Recent status changes and news feed
    • readOnlyHint: true
    • destructiveHint: false
    • idempotentHint: true
    • openWorldHint: false
Only reads 5Claude Code: allow
  • get_announcementGet 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, rela…No findings

    Why it is in this group

    • The name "get_announcement" says "get": a word for reading.
    Description, as the server wrote 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.

    Annotations the server declares

    • title: Get one registry entry
    • readOnlyHint: true
    • destructiveHint: false
    • idempotentHint: true
    • openWorldHint: false
  • get_citationDated citation of a registry entry in APA and/or BibTeX, with its status and the date that status was observed.No findings

    Why it is in this group

    • The name "get_citation" says "get": a word for reading.
    Description, as the server wrote it
    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.

    Annotations the server declares

    • title: Cite a registry entry
    • readOnlyHint: true
    • destructiveHint: false
    • idempotentHint: true
    • openWorldHint: false
  • get_frontierFrontiers track the best known bound of a quantity (e.g.No findings

    Why it is in this group

    • The name "get_frontier" says "get": a word for reading.
    Description, as the server wrote it
    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.

    Annotations the server declares

    • title: Get a frontier and its current record
    • readOnlyHint: true
    • destructiveHint: false
    • idempotentHint: true
    • openWorldHint: false
  • list_statusesList DiscoverIA's six evaluation statuses for scientific claims (and the provisional product statuses) with their definitions and the number of entries in each.No findings

    Why it is in this group

    • The name "list_statuses" says "list": a word for reading.
    Description, as the server wrote it
    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.

    Annotations the server declares

    • title: List the statuses and their counts
    • readOnlyHint: true
    • destructiveHint: false
    • idempotentHint: true
    • openWorldHint: false
  • search_announcementsSearch DiscoverIA's registry of AI-assisted scientific claims by free text, status, lab, discipline and announcement date.No findings

    Why it is in this group

    • The name "search_announcements" says "search": a word for reading.
    Description, as the server wrote it
    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.

    Annotations the server declares

    • title: Search the DiscoverIA registry
    • readOnlyHint: true
    • destructiveHint: false
    • idempotentHint: true
    • openWorldHint: false

This is not a safety rating, and no finding is not a safety guarantee. The groups and findings come from fixed checks of the tool definitions the server returned on the date shown, not from its code or what it does when called. How the checks work.

Exfil surface

Which tools read private data, which read text someone else can write, and which can send data out. One of each is a path a prompt injection can use.

No private-data, untrusted-input, outbound path in this server alone: no tool is tagged private-data or untrusted-input or outbound.

Reads private data0
Reads files, mail, messages, databases, secrets, calendars or repositories.
Reads text others write0
Brings in text someone else can write: web pages, inbound email, messages, issues and comments.
Can send data out0
Can carry data to people or systems: it sends, posts or publishes, or takes a recipient, channel or URL.

Other servers in the same agent add their own tools to these paths. Audit your whole setup to see them together.

Install

Pinned to version 0.1.0. Values in angle brackets are yours to fill in.

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

Run in a terminal.

Claude Code permissions

Allow the reads, ask before a change or a way out, deny the deletes. Paste into .claude/settings.json.

.claude/settings.json
{
  "permissions": {
    "allow": [
      "mcp__discoveria__search_announcements",
      "mcp__discoveria__get_announcement",
      "mcp__discoveria__list_statuses",
      "mcp__discoveria__get_frontier",
      "mcp__discoveria__get_citation"
    ],
    "ask": [
      "mcp__discoveria__recent_changes"
    ],
    "deny": []
  }
}

Tools that only read are allowed, tools that change things ask first, tools that delete or cancel are denied. A read that can send data out (it takes a URL, say) asks first too. It assumes the server is installed as discoveria. Review it before you use it.