eleata-verify-mcp
Provides claim verification services from eleata through the RapidAPI marketplace, allowing AI agents to use the hosted Claim Verifier API via RapidAPI's infrastructure.
Click on "Deploy Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type
@followed by the MCP server name and your instructions, e.g., "@eleata-verify-mcpDoes evidence support 'Earth orbits the Sun'?"
That's it! The server will respond to your query, and you can continue using it as needed.
Here is a step-by-step guide with screenshots.
eleata Claim Verifier — MCP server
A grounding / hallucination guardrail for AI agents. Give it a claim and supporting
evidence; it returns whether the evidence Supports / Refutes / gives Not Enough Evidence
for the claim (natural-language inference), with a confidence and an abstained flag for
low-confidence cases. Wraps the hosted eleata Claim Verifier.
Use it as a fact-check / RAG hallucination guard: before an agent trusts or repeats a statement, check it against its source. Treat
abstained=true(or any verdict other than Supported) as "do not rely".
Tools
Tool | What it does |
| Is the claim supported by the evidence? Verdict + confidence + |
| RAG guard: is the model's answer grounded in the retrieved context? |
| Same, with a higher abstention threshold — for compliance/legal where a wrong "Supported" is costly. |
Related MCP server: Fact-Checker MCP Server
Setup
{
"mcpServers": {
"eleata-verify": {
"command": "npx",
"args": ["-y", "eleata-verify-mcp"],
"env": { "EVERIFY_API_KEY": "your_key" }
}
}
}Get a key at https://eleata.io/checkout?p=verifypro (paid channel, sent as Authorization: Bearer).
For the RapidAPI marketplace channel, set EVERIFY_RAPIDAPI=1 and EVERIFY_API_BASE to the RapidAPI host
(the key is then sent as X-RapidAPI-Key).
Notes
Confidence is uncalibrated on the public channels (not a probability) — rely on the verdict and the
abstained flag, not the raw number. The engine is a multilingual NLI model (mDeBERTa-v3-mnli-xnli).
verify sends your claim + evidence to the hosted API; see https://eleata.io/privacy/.
MIT licensed.
Available Tools
3 toolscheck_groundednessA
Hallucination guard for RAG / agent answers. Pass the model's generated answer and the retrieved context; returns whether the answer is grounded in the context. Treat any verdict other than 'Supported', or abstained=true, as 'ungrounded / likely hallucination' and have the agent retract or re-retrieve.
| Name | Required | Description | Default |
|---|---|---|---|
| answer | Yes | The model-generated answer to check for grounding. | |
| context | Yes | The retrieved context the answer should be grounded in. |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations provided, the description bears the full burden. It discloses that the tool returns a verdict and an abstained flag, with specific interpretation for agent behavior. This is adequate for a stateless validation tool, though it could elaborate on the exact response format.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is very concise: two sentences with no wasted words. It front-loads the core purpose and then provides actionable usage guidance. Every sentence is necessary.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Given the simplicity of the tool (two string params, no output schema), the description is fairly complete. It explains the purpose, input, and interpretation of output. Minor gaps: exact return structure not specified, but the interpretation rules suffice for an agent.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema coverage is 100%, so baseline 3 applies. The description restates that the answer and context should be passed, adding no new semantic detail beyond the schema descriptions. It does not enhance understanding of parameter constraints or formats.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly identifies the tool as a hallucination guard for RAG/agent answers, stating it checks grounding of a generated answer against retrieved context. This is specific and distinct from siblings like verify_claim or verify_strict, though not explicitly contrasted.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description provides clear instructions on when to use (pass answer and context) and how to interpret results (treat verdicts other than 'Supported' or abstained=true as ungrounded). It lacks explicit alternatives or when-not-to-use guidance but offers sufficient operational context.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
verify_claimA
Fact-check a claim against a piece of evidence using natural-language inference. Returns a grounded verdict — Supported, Refuted, or Not Enough Evidence — with a confidence (0..1) and an abstained flag. Use it to check whether a statement is actually backed by a source before trusting or repeating it. If abstained is true, treat the result as 'cannot verify — do not rely'.
| Name | Required | Description | Default |
|---|---|---|---|
| claim | Yes | The statement to check. | |
| evidence | Yes | The source text the claim should be supported by. |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations, the description fully explains behavior: returns a grounded verdict with confidence and abstained flag, and clarifies the meaning of abstained. It is transparent about the tool's operation and limitations.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is concise at 4 sentences, with the main action front-loaded. Every sentence adds value: purpose, use case, and handling of abstained. No unnecessary words.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a 2-parameter tool with no output schema, the description adequately covers the return value details (verdict types, confidence range, abstained flag) and provides interpretive guidance. It is complete for the complexity level.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema description coverage is 100%, so baseline is 3. The description adds context about the tool's purpose but does not add significant meaning beyond the schema's parameter descriptions for claim and evidence.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly states the tool's purpose: fact-checking a claim against evidence using natural language inference. It specifies the output verdict types and additional fields, but does not differentiate from siblings like check_groundedness or verify_strict.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description provides explicit usage guidance: 'Use it to check whether a statement is actually backed by a source before trusting or repeating it'. It also explains how to handle the abstained flag. However, it does not mention when not to use it or alternatives.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
verify_strictA
Same as verify_claim but with a raised abstention threshold — abstains more readily. Use when a wrong 'Supported' is costly (compliance, legal, medical-adjacent) and the agent must not over-assert.
| Name | Required | Description | Default |
|---|---|---|---|
| claim | Yes | The statement to check. | |
| evidence | Yes | The source text the claim should be supported by. |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
No annotations provided, so description carries burden. It discloses the key behavioral trait of higher abstention threshold, but does not describe output format, whether it is read-only, or other side effects.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Two sentences with no wasted words, efficiently conveying purpose and usage context.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
No output schema and no annotations; description does not explain return values or error states. However, given the tool's simplicity and sibling context, it provides enough for basic use.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Input schema covers 100% of parameters with clear descriptions. Description adds no extra meaning beyond stating similarity to verify_claim, but schema descriptions are sufficient.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
Description clearly states it's the same as verify_claim but with a raised abstention threshold, distinguishing it from siblings. It names the verb+resource (verify claim) and the specific behavioral difference.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
Explicitly advises use when a wrong 'Supported' is costly (compliance, legal, medical-adjacent), implying when not to use (low-cost errors). Could be improved by directly stating alternatives like verify_claim.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
3 tool updates
v0.1.1- First observed
check_groundedness - First observed
verify_claim - First observed
verify_strict
TDQS
Scored across 3 tools
verify_claim and verify_strict are nearly identical except for an abstention threshold, making it unclear which to choose. check_groundedness overlaps in purpose (checking support in context/evidence). Agents will struggle to differentiate without additional heuristics.
Two tools use 'verify_' (one with noun 'claim', one with adjective 'strict'), and one uses 'check_groundedness'. The verbs 'check' and 'verify' are synonymous but break pattern consistency. The mix of noun and adjective styles is acceptable but not uniform.
With 3 tools, the count is slightly low but appropriate for a narrowly scoped verification server. Each tool serves a distinct mode (normal, strict, groundedness), so no tool feels superfluous.
Covers the core verification operations but lacks any tool for evidence retrieval, source management, or batch verification. The strict version adds nuance but also indicates incomplete coverage of confidence levels. Agents may need to work around missing functionality.
Maintenance
Related MCP Connectors
Evidence-readiness MCP server: validate, audit, and score briefs, memos, and evidence packs.
Experimental MCP server for current empirical verification of explicit public HTTPS endpoint claims.
MCP server providing access to the Scorecard API to evaluate and optimize LLM systems.
Related MCP Servers
- AlicenseAqualityCmaintenanceMCP server for Tru8 Evidence Research that enables AI agents to submit claims or URLs and receive source-traced evidence organized by tier and type with element decomposition and relationship mapping.350 PyPIMIT
- AlicenseNot gradedqualityAmaintenanceThis MCP server enables AI agents to extract, verify, and cache factual claims from text using Claude Haiku and semantic fingerprinting, with tools for content verification, signal verification, and fact memory search.12 npmMIT
- AlicenseAqualityAmaintenanceAn MCP server that evaluates claims by counting independent story origins, giving AI agents a verdict on reporting corroboration rather than truth.235 npm1MIT
- AlicenseNot gradedqualityCmaintenanceAn MCP server that verifies whether a claim is actually supported by the source text at a given citation — independent of what the calling LLM asserts.MIT