Claimora
Server Details
Claimora expands AI agents' research horizons through an interconnected graph of scientific claims, evidence, contradictions, and cross-disciplinary relationships. Discover unexpected research paths, investigate original sources, and return with refined questions to explore further—potentially reducing research time and cost.
- Status
- Healthy
- Uptime
- 100.0% over the last 24 hours
- Last Tested
- Transport
- Streamable HTTP · MCP 2025-11-25
- URL
- ChatGPT
- –
- Claude
- –
TDQS
Scored across 7 tools
Most tools target clearly distinct things: authors, contradictions, provenance, flags, updates, and claim search. The one real overlap is query_claims vs search_smart, both of which return ranked claim hits; the descriptions explain keyword-vs-question input, but an agent can still hesitate over which to pick for a short phrase. get_innovation_flags is verbose but functionally distinct from the claim-listing tools.
Six of seven tools follow a clean verb_noun pattern (get_authors, get_contradictions, get_evidence, get_innovation_flags, get_updates, query_claims). search_smart breaks the pattern as verb_adjective with no resource noun, making the search pair look like different families. The deviation is minor but noticeable.
Seven tools is a tight, well-scoped set for a read-oriented claim graph: retrieval, provenance, relationships, authors, and change tracking. Each tool covers a distinct query need rather than duplicating surface area.
The surface is entirely read-only: there is no way to fetch a single claim's statement by id (only its provenance via get_evidence), no list of domains, sources, or papers, and no create/update paths for claims or flags. Core discovery workflows are covered, but agents will hit dead ends when they need direct claim lookup or domain/source enumeration.
Available Tools
7 toolsget_authorsAInspect
List authors linked to one claim.
Use this when you have a claim id and need the people linked to it.
Returns author id, name, and orcid. The list is empty when none are linked.
Example: get_authors(claim_id="claim-attention").
Example: get_authors(claim_id="<id from query_claims>").
Inputs: claim_id (required). Returns: Authors linked to one claim. The list is empty when none are stored.
get_contradictionsAInspect
List claims stored as contradicting one claim.
Returns each opposing claim id, status, evidence strength, and opposition strength.
Example: get_contradictions(claim_id="<id from query_claims>").
Inputs: claim_id (required). Returns: found, claim_id, contradictions
get_evidenceAInspect
Provenance for one claim. Excerpts are short unless full_text is true.
unpublished is true for a private unpublished paper. The stored excerpt, page, and section stay on provenance. An empty provenance doi is filled from a DOI already stored on that row, including the DataCite DOI of an arXiv id. The graph is not written.
status_note on a consensus claim with no stored contradiction is: No stored contradiction; not independent multi-source consensus. When no independent supporting claim is present, the note also says: Single-source claim; not multi-source consensus.
evidence_note is: Extractor confidence in the claim statement, not study quality. A previously read source role is appended when one is known. When that role is absent, one statement cue appends a single Role line. A clear finding is not labeled method or background, a hedge is a limitation, and a statement with no cue has no Role line.
integrity_warning is set when the statement unit looks truncated relative to the excerpt, or the magnitude looks extreme relative to the excerpt. The statement and the excerpt are not rewritten.
Use this after a search when you have a claim id and need the papers behind it.
Example: get_evidence(claim_id="claim-attention").
Example: get_evidence(claim_id="claim-attention", full_text=true).
Inputs: claim_id (required), full_text. Returns: id, found, domain, status, +10 more
get_innovation_flagsAInspect
List innovation flags. The default sort is discovery.
Use this when you want links between claims rather than the claims themselves.
Pass claim_id to navigate from one claim to the flags that contain it. Each hit includes flag_type, strength, summary, the other claim ids, and those claims' primary domains. Filters are flag_type, min_strength, and cross_domain_only. The claim list is ranked by relationship strength and novelty. A path that only names the claim, a partner that repeats the claim, and a near-duplicate of a partner already returned are omitted.
Discovery combines relationship strength, novelty, and conceptual overlap. A near-copy, a stock template, a lexical basis, or flag_type lexical or lexical_association is left off the default strength and discovery lists. The stored row is not changed. A claim_id lookup still returns that flag. flag_type lexical or lexical_association still returns that class. sort strength orders by the stored relationship strength.
Every flag includes flag_type, cross_domain, complementary, and summary. summary says why the claims are linked. A lexical relationship_basis adds “Shared vocabulary only. No substantive mechanism was established.” on read. The stored summary is not rewritten.
complementary is a ranking hint when two independent sources share a measurable variable or process and discuss different aspects. It reuses relationship_basis, does not change flag_type, and does not state a hypothesis. A weak link stays weak.
flag_type is lexical_association for shared terminology with no substantive relation, scientific_connection for a conceptual or methodological relationship, contradiction for a stored disagreement, or innovation when the claims state a mechanism that could transfer. lexical selects the same weak rows.
cross_domain is true when the claims have different primary domains. It is not a flag_type and does not raise strength.
Older rows may still use cross_domain or research_hypothesis.
strength is computed for that pair. It is not claim evidence strength. A weak lexical link stays low. min_strength 0 does not put it back on the default lists.
Returns flag id, domain, summary, strength, flag_type, cross_domain, connected_domain, the claim ids on each path, and a claims array in that same order.
Each claims item has claim_id, statement, and evidence strength. Full evidence stays on get_evidence.
connected_domain is the primary domain of the claim that does not match the flag domain.
It is null when the claims share a primary domain.
Optional cross_domain_only, when true, returns only flags whose connected_domain is set.
Optional flag_type keeps one label, for example lexical.
Optional sort is discovery or strength. discovery is the default.
Repeated claim paths return once, keeping the strongest flag for that pair.
Example: get_innovation_flags(domain="ai-ml", min_strength=0.5, limit=10).
Example: get_innovation_flags(domain="ai-ml", sort="strength", limit=10).
Example: get_innovation_flags(claim_id="claim-attention", min_strength=0.5, limit=10).
Example: get_innovation_flags(domain="quantum", min_strength=0, flag_type="lexical", limit=5).
Example: get_innovation_flags(domain="consciousness", cross_domain_only=True, limit=10).
Inputs: sort, limit, domain, offset, +4 more. Returns: page, flags
get_updatesAInspect
List claims whose last_updated is at or after a timestamp.
Use this to read claims that changed after a time you already checked.
Returns claim id, status, evidence strength, a shortened excerpt, and source_url, doi, and paper_id when those are known.
Example: get_updates(since="2026-01-01T00:00:00Z", domain="ai-ml", limit=20).
Example: get_updates(since="2026-10-01T00:00:00Z", domain="consciousness", offset=20).
Inputs: since (required), limit, domain, offset. Returns: page, since, claims
query_claimsAInspect
Search claim statements and excerpts.
A domain keeps claims whose primary domain is that value or one of its
aliases, such as cs.LG for ai-ml. An exact multi-token phrase matches whole
tokens. A single ordinary token also matches its singular or plural.
When no stored claim holds every token, statement hits for each token come
before excerpt-only hits, a row with no content-term overlap is dropped,
and match_reason starts with no stored co-occurrence. An empty remainder stays empty.
K17, PDAC, NCC, IIT, and LLM match the full names in the alias map.
Hits are ordered by keyword overlap, then a domain match, then evidence
strength. That retrieval order stays ahead of the stored score.
match_reason records that the stored score is evidence_strength.
cross_domain also keeps
claims from other domains that carry the domain as a secondary tag.
When the query is one domain keyword and domain is omitted, claims in
that domain come first.
Use this when you have keywords or a domain and want the strongest matching claims.
Returns claim id, status, evidence strength, a shortened excerpt, match_reason,
source_url, doi, and paper_id when those are known, up to two supporting claims, and one
contradicting claim when one is stored. Each related claim carries that same compact pointer. unpublished is true for a private unpublished paper. Full provenance stays on get_evidence.
status_note on a consensus claim with no stored contradiction is: No stored contradiction; not independent multi-source consensus. When no independent supporting claim is present, the note also says: Single-source claim; not multi-source consensus.
evidence_note is: Extractor confidence in the claim statement, not study quality. A previously read source role is appended when one is known. When that role is absent, one statement cue appends a single Role line. A clear finding is not labeled method or background, a hedge is a limitation, and a statement with no cue has no Role line.
integrity_warning is set when the statement unit looks truncated relative to the excerpt, or the magnitude looks extreme relative to the excerpt. The statement and the excerpt are not rewritten.
Example: query_claims(query="transformer", domain="ai-ml", limit=5).
Example: query_claims(query="United States", domain="data-protection", limit=5).
Inputs: query (required), limit, domain, offset, +2 more. Returns: page, claims
search_smartAInspect
Find claims from a natural-language question.
The central research concept and its scientific synonyms outrank incidental context words. Generic overlap that does not address the question is penalized. A keyword with no function word stays on the lexical match.
A question tries its content phrases first. When that match is thin, extracted concepts, shorter phrases, and synonyms are combined and deduplicated before ranking. Exact keywords are not required.
Question hits stay on strategy question. fallback is null when the content-phrase match already addressed the concept, keyword when every hit came from a literal concept or shorter phrase, and expanded when a synonym supplied a hit. Rank puts the concept above context words. Retrieval relevance stays ahead of evidence_strength, and match_reason records that the stored score is evidence_strength. A lexical phrase matches whole tokens. K17, PDAC, NCC, IIT, and LLM match the full names in the alias map.
notice is no_matching_claims when nothing matches. notice is no_evidence when every returned hit has an empty excerpt. A hit with an empty excerpt says no evidence in match_reason.
exploratory true keeps matches under the default relevance threshold.
Each hit includes match_reason, source_url, doi, and paper_id when those are known, up to two supporting claims, and one contradicting claim when one is stored. Each related claim carries that same compact pointer. unpublished is true for a private unpublished paper. Full provenance stays on get_evidence.
status_note on a consensus claim with no stored contradiction is: No stored contradiction; not independent multi-source consensus. When no independent supporting claim is present, the note also says: Single-source claim; not multi-source consensus.
evidence_note is: Extractor confidence in the claim statement, not study quality. A previously read source role is appended when one is known. When that role is absent, one statement cue appends a single Role line. A clear finding is not labeled method or background, a hedge is a limitation, and a statement with no cue has no Role line.
integrity_warning is set when the statement unit looks truncated relative to the excerpt, or the magnitude looks extreme relative to the excerpt. The statement and the excerpt are not rewritten.
A domain keeps claims whose primary domain is that value or one of its
aliases. cross_domain also keeps claims from other domains that carry
the domain as a secondary tag.
Use this when the input is a question instead of keywords.
Example: search_smart(natural_language="How do transformers handle long context?", domain="ai-ml", limit=5).
Example: search_smart(natural_language="What causes LLM hallucinations in RAG systems?", limit=5).
Inputs: natural_language (required), limit, domain, offset, +2 more. Returns: question matches a research concept. lexical is a keyword query. fallback is ke…
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
Loading tool schema changelog…
Related MCP Connectors
Search and cite research claims with their evidence and reliability scores; publish claimsets.
Source-traced evidence research for AI agents. We organise the evidence; you decide.
AI agents collaborate on open biomedical problems, citing sources that are machine-checked.
Machine-native research commons for agent evidence, discovery, rooms, and bounded research quests.
Related MCP Servers
- AlicenseNot gradedqualityBmaintenanceMakes AI research agents accountable by giving every conclusion a traceable argument graph. Provides a persistent argument graph where claims require grounds and warrants for auditable, verifiable reasoning.3MIT
- AlicenseAqualityBmaintenanceEvidence-backed web research for AI agents. Real-time search with cited claims, confidence scores, and compare mode showing raw LLM hallucination vs evidence-backed answers.520Apache 2.0
- AlicenseNot gradedqualityDmaintenanceTransforms AI assistants into research-grade cognitive workspaces with systematic reasoning, evidence-based analysis, persistent memory management, and intelligent knowledge discovery.MIT

SciWeave MCP Serverofficial
FlicenseNot gradedqualityDmaintenanceGround Claude, ChatGPT, Cursor, and Windsurf in 300M scientific works — every citation a verifiable DOI.-
Glama MCP Gateway
Add one secure layer between your agents and this server.