MCP x402 - Evidence-Backed Web Verification
Server Details
Evidence-backed x402 web verification for AI agents, with auditable decisions for every condition.
- Status
- Healthy
- Last Tested
- Transport
- Streamable HTTP
- URL
- Repository
- Diogoup26/mcp-x402
- GitHub Stars
- 0
- Server Listing
- mcp-x402
TDQS
Scored across 3 tools
Each tool has a clearly distinct purpose: analisar_url produces an open-ended page analysis report, verificar_condicoes tests explicit conditions with evidence, and consultar_ia answers general questions without web access. The descriptions also cross-reference one another to remove any confusion.
All three tool names follow the same Portuguese verb_noun pattern in snake_case: analisar_url, consultar_ia, verificar_condicoes. The naming style is consistent and predictable.
With only three tools, the server remains tightly scoped for evidence-backed web verification. Each tool serves a distinct workflow and none feel redundant or arbitrary.
The set covers the main workflows: analyzing a page, verifying conditions against a page, and handling general questions. Minor gaps exist, such as no obvious way to retrieve past verification records or compare multiple pages, but the core purpose is well-supported.
Available Tools
3 toolsanalisar_urlAnalisar página webAInspect
Use para extrair uma página HTTP ou HTTPS pública e produzir um relatório limitado ao conteúdo encontrado, com resumo, factos, riscos e ações recomendadas. O objetivo opcional orienta o foco. Não consulta fontes externas; para decisões por critério com provas, use verificar_condicoes.
| Name | Required | Description | Default |
|---|---|---|---|
| url | Yes | URL HTTP ou HTTPS pública a extrair. Endereços locais, privados e não públicos são rejeitados. | |
| objetivo | No | Foco opcional do relatório, até 500 caracteres; orienta a análise mas não é tratado como prova. |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations provided, the description carries the full behavioral disclosure burden. It goes beyond a bare 'analyzes a URL' by clarifying that the report is limited to the page content, that no external sources are consulted, and that an optional objective only guides focus and is not treated as proof. These are meaningful behavioral constraints. It could still mention error/redirect behavior, but the essentials are disclosed.
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 two sentences, front-loaded with the main action and scope, and each sentence contributes: the first covers behavior and output, the second covers the emotional input and the alternative. There is no verbose filler or repetition of schema field details.
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?
With no output schema, the description appropriately names the report sections: resumo, factos, riscos e ações recomendadas. It also explains the optional objective's role and the external-source limitation. The only minor gap is the lack of information about failure cases or the exact structure of the returned report, but this is a relatively simple tool and the description conveys enough for correct 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?
Schema description coverage is 100%, so the schema already explains both parameters well. The description adds the narrative that 'objetivo' is optional and guides focus but is not treated as proof, which slightly supplements rather than repeats the schema. This meets the baseline for high schema coverage.
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 states a specific verb ('extrair'), a precise resource ('página HTTP ou HTTPS pública'), and a concrete deliverable (relatório com resumo, factos, riscos e ações recomendadas). It also explicitly distinguishes itself from verificar_condicoes by saying it does not consult external sources, so an agent can tell the tools apart.
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 opens with 'Use para...' and explicitly directs users to verificar_condicoes for criteria-based decisions with evidence. It also notes that the tool does not consult external sources, giving a clear exclusion rule and an explicit alternative. This tells an agent when to use the tool and when to prefer a sibling.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
consultar_iaConsultar IAAInspect
Use para perguntas gerais que não exijam pesquisa web em tempo real. Devolve uma resposta concisa baseada no conhecimento do modelo; não abre URLs nem confirma factos atuais. Para analisar uma página, use analisar_url; para testar critérios com provas, use verificar_condicoes.
| Name | Required | Description | Default |
|---|---|---|---|
| prompt | Yes | Pergunta ou instrução, entre 1 e 4000 caracteres. Não pressupõe pesquisa web em tempo real. |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations provided, the description carries the full burden and does so well: it discloses that the tool returns a concise answer based on model knowledge, does not open URLs, and does not confirm current facts. It does not mention limitations like potential inaccuracy or straightforward refusal for irrelevant prompts, but it covers the critical constraints.
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?
Three compact, scannable sentences with no filler. The primary purpose is front-loaded, followed by clear behavioral notes and sibling references, all earning their place.
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 simple single-parameter tool with no output schema and no annotations, the description fully covers what the agent needs: purpose, usage limits, behavioral expectations, and routing to alternatives. Nothing essential is missing.
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 provides 100% coverage with a clear description of the 'prompt' parameter. The tool description adds only a slight contextual nuance by tying the prompt to general questions but mostly restates what the schema already documents. Baseline of 3 is appropriate.
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?
States a specific verb ('Use para perguntas gerais') and resource scope, immediately clarifying it is a general-knowledge IA tool. It distinguishes itself from siblings by explicitly naming those alternatives, so an agent can tell it apart without inspecting other schemas.
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?
Gives explicit usage context ('perguntas gerais que não exijam pesquisa web em tempo real') and clearly lists which alternative to use for page analysis or criteria verification. This leaves no ambiguity about when to select this tool over its siblings.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
verificar_condicoesVerificar condiçõesAInspect
Use para testar entre 1 e 10 condições explícitas numa página HTTP ou HTTPS pública. Devolve, por condição, confirmada, rejeitada ou incerta com prova textual, além de source, verifiedAt, verificationId e pageHash. Se a página não provar a condição, o resultado é incerta.
| Name | Required | Description | Default |
|---|---|---|---|
| url | Yes | URL HTTP ou HTTPS pública onde as condições serão verificadas. Endereços locais, privados e não públicos são rejeitados. | |
| contexto | No | Contexto opcional, até 500 caracteres, usado apenas para interpretar as condições e nunca como prova da página. | |
| condicoes | Yes | Lista de 1 a 10 condições concretas e verificáveis; cada condição deve ter entre 3 e 300 caracteres. |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations provided, the description carries the full behavioral burden. It discloses the 'incerta' outcome for unproven conditions, lists the return fields (source, verifiedAt, verificationId, pageHash), and explicitly states the public-page requirement. This gives a reliable baseline of expected behavior.
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 two sentences: the first gives the purpose and scope, the second summarizes the return values and key ambiguity rule. Every sentence earns its place with no filler or unnecessary repetition.
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?
Since there is no output schema, the description properly explains what will be returned per condition and the overall result semantics. It leaves some minor aspects unstated (e.g., exact format of proof text, behavior on unreachable pages), but it is sufficiently complete for an agent to call the tool and interpret the result.
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 each parameter (url, contexto, condicoes) already has a meaningful description. The tool description adds little beyond restating the 1–10 condition count and the public/HTTP restriction, which are also present in the schema. This sits at the baseline of 3.
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 a specific verb (testar), a specific resource (página HTTP/HTTPS pública), and the expected output (confirmada, rejeitada, incerta). It distinguishes the tool from siblings like analisar_url and consultar_ia by focusing on explicit condition verification rather than general analysis or AI consultation.
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 opens with 'Use para', giving immediate situational context: test 1 to 10 explicit conditions on a public page. It does not explicitly name alternatives or exclusions, but the purpose is clear enough that an agent can infer when to prefer this over the sibling tools.
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
- Changed
analisar_url2 fields changed- changed
Input schema / properties / objetivo / descriptionPrevious value: -"Objetivo opcional da análise"New value: +"Foco opcional do relatório, até 500 caracteres; orienta a análise mas não é tratado como prova." - changed
Input schema / properties / url / descriptionPrevious value: -"URL público HTTP ou HTTPS"New value: +"URL HTTP ou HTTPS pública a extrair. Endereços locais, privados e não públicos são rejeitados."
- Changed
consultar_ia1 field changed- changed
Input schema / properties / prompt / descriptionPrevious value: -"Pergunta ou instrução para a IA"New value: +"Pergunta ou instrução, entre 1 e 4000 caracteres. Não pressupõe pesquisa web em tempo real."
- Changed
verificar_condicoes3 fields changed- changed
Input schema / properties / condicoes / descriptionPrevious value: -"Condições concretas que a página tem de cumprir"New value: +"Lista de 1 a 10 condições concretas e verificáveis; cada condição deve ter entre 3 e 300 caracteres." - changed
Input schema / properties / contexto / descriptionPrevious value: -"Contexto opcional para interpretar as condições"New value: +"Contexto opcional, até 500 caracteres, usado apenas para interpretar as condições e nunca como prova da página." - changed
Input schema / properties / url / descriptionPrevious value: -"URL público HTTP ou HTTPS"New value: +"URL HTTP ou HTTPS pública onde as condições serão verificadas. Endereços locais, privados e não públicos são rejeitados."
3 tool updates
- First observed
analisar_url - First observed
consultar_ia - First observed
verificar_condicoes
Related MCP Connectors
Trust, evidence, due diligence and payment safety for AI agents, with signed x402 receipts.
101Website intelligence audits for AI agents: free preview plus x402-paid Agent Readiness scoring
Evidence observatory for agentic commerce: x402 preflight, receipt checks, settlement attestations.
Independent AI-agent reviews: trust checks, evidence scorecards, incident registry, recommendations.
Related MCP Servers
- AlicenseBqualityCmaintenanceEnables AI agents to verify technical claims against supplied evidence, identify unsupported assumptions and contradictions, and recommend the smallest next check before acting.5MIT
- FlicenseNot gradedqualityDmaintenanceA verification component for agents that checks claims on public webpages and returns structured results with evidence text, screenshots, and deterministic JSON.-

thoughtproof-mcpofficial
AlicenseBqualityAmaintenanceAdversarial multi-model reasoning verification for AI agents. Claude, Grok, and DeepSeek challenge each decision — returns ALLOW or HOLD with JWKS-signed attestation. x402-gated on Base.11301MIT- AlicenseNot gradedqualityCmaintenanceAdversarial multi-model reasoning verification for AI agents. Claude, Grok, and DeepSeek challenge each decision — returns ALLOW or HOLD with JWKS-signed attestation. x402-gated on Base.4MIT
Glama MCP Gateway
Add one secure layer between your agents and this server.