mcp-contradiction-check
Scans markdown notes for contradictions, detecting quantitative and negation conflicts across note pairs in a markdown knowledge base.
Click on "Install 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., "@mcp-contradiction-checkcheck my notes for contradictory claims"
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.
mcp-contradiction-check
Find where your notes disagree — contradiction detection for markdown vaults.
Find pairs of notes in your markdown knowledge base that have high concept overlap but disagree — quantitative conflicts (different numbers with the same unit on the same concept) and negation conflicts (one note claims "X is not Y", another claims "X is Y"). Prevents knowledge corruption by surfacing disputes before they propagate. Designed to pair with hebbian-vault's usage-weighted retrieval to flag notes that shouldn't be strengthened yet.
Install
pip install mcp-contradiction-check
# or
uvx mcp-contradiction-checkRelated MCP server: SecondBrain MCP
Usage
Claude Code
claude mcp add mcp-contradiction-check -- mcp-contradiction-checkClaude Desktop
Add to claude_desktop_config.json:
{
"mcpServers": {
"contradiction_check": {
"command": "uvx",
"args": ["mcp-contradiction-check"]
}
}
}MCP Tools
Tool | Tier | Description |
| Free | Scan the vault for note pairs with high concept overlap but conflicting numerical or qualitative claims. Returns all detected conflicts with the specific issues flagged. |
| Free | Run the full contradiction check between two specific notes (by path or filename stem). Returns the detailed conflict analysis — shared concepts, quantitative conflicts, negation conflicts. |
| Pro | Pull all quantitative claims (numbers with units) and negation patterns from a single note. Useful as input to your own verification pipeline. |
| Pro | For a detected contradiction, produce a structured prompt you can feed to an LLM to reason through the conflict and suggest a resolution. Preserves the exact claims + shared concepts + both notes' context windows. |
Pro tier
Unlocks detailed claim extraction per note and LLM-ready reconciliation prompt generation for resolving disputes.
License activation — any one of these works:
# 1. Environment variable
export CONTRADICTION_CHECK_LICENSE="eyJhbGc..."
# 2. CLI flag
mcp-contradiction-check --license-key "eyJhbGc..."
# 3. Config file
echo "eyJhbGc..." > ~/.mcp-contradiction-check/license.jwtLicenses are verified fully offline — no phone-home, no activation server. Get a license at https://github.com/onetrueclaude-creator/mcp-contradiction-check#pro-tier.
Requirements
Python 3.10+
License
MIT
Available Tools
4 toolscheck_pairARead-only
Run the full contradiction check between two specific notes. Accepts absolute paths or filename stems (within a vault that can be inferred).
| Name | Required | Description | Default |
|---|---|---|---|
| note_a_path | Yes | ||
| note_b_path | Yes |
Output Schema
| Name | Required | Description |
|---|---|---|
| result | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare readOnlyHint=true, indicating no destructive behavior. The description adds 'full contradiction check' but does not elaborate on behaviors such as computational intensity or dependencies. With annotations covering the safety profile, the description provides limited additional transparency.
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, no filler. The first sentence states purpose, the second adds critical input format. Every word earns its 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?
Given the tool's low complexity (2 simple string params) and the presence of an output schema, the description adequately covers the functionality. It mentions vault inference, which is essential for context. Minor omission: no hint about what the check returns, but the output schema likely handles that.
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?
With 0% schema description coverage, the description fills the gap by clarifying that parameters accept 'absolute paths or filename stems', adding meaning beyond the parameter names and string types in the schema. It applies to both parameters and is directly useful.
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 specifies the action ('Run the full contradiction check') and the resource ('between two specific notes'), clearly distinguishing from sibling tools like find_contradictions which likely operates more broadly. However, it does not explicitly contrast with siblings.
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 input format guidance ('absolute paths or filename stems within a vault that can be inferred'), which implies usage context, but it lacks explicit when-to-use or when-not-to-use instructions relative to siblings like extract_claims or generate_reconciliation_prompt.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
extract_claimsCRead-only
[Pro] Pull all quantitative claims (numbers with units) and negation patterns from a single note — structured output for your verification pipeline.
| Name | Required | Description | Default |
|---|---|---|---|
| note_path | Yes |
Output Schema
| Name | Required | Description |
|---|---|---|
| result | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
The description adds context about extracting claims and negation patterns, and mentions structured output. Annotations already indicate readOnlyHint=true, so no contradiction. It does not disclose other behavioral aspects like auth needs or rate limits.
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 a single sentence with minimal waste. The '[Pro]' prefix may be extraneous but does not significantly impact conciseness. It is front-loaded with the core action.
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?
The tool has one parameter and an output schema, so the description can focus on purpose. It explains the extraction content but omits explanation of the note_path parameter. Given the low parameter count, it is adequate but not fully complete.
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?
The schema has 0% description coverage, meaning the description does not explain the 'note_path' parameter. The tool name and description imply a single note, but no additional meaning is provided for the parameter beyond what the schema indicates.
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 extracts quantitative claims and negation patterns from a single note, using specific verbs like 'Pull' and specifying the resource. However, it does not differentiate explicitly from sibling tools like 'find_contradictions' or 'check_pair'.
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?
No guidance is provided on when to use this tool versus alternatives. The description does not mention prerequisites, exclusions, or alternative tools.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
find_contradictionsBRead-only
Scan the vault for note pairs with high concept overlap but conflicting numerical or qualitative claims.
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | ||
| vault_path | Yes | ||
| min_shared_concepts | No |
Output Schema
| Name | Required | Description |
|---|---|---|
| result | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
The description adds no behavioral context beyond what annotations provide (readOnlyHint=true). It does not contradict annotations, but also does not disclose additional traits such as performance expectations or data requirements.
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 a single, concise sentence with no redundant or irrelevant information. It efficiently conveys the core purpose.
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 presence of an output schema and the tool's search nature, the description is somewhat complete. However, it lacks details about performance, edge cases, or required vault_path properties, making it merely adequate.
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?
With 0% schema description coverage, the description should compensate by detailing parameter meanings, but it only mentions vault_path implicitly. Parameters like limit and min_shared_concepts are not explained, though their names are somewhat self-explanatory.
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 scans the vault for note pairs with high concept overlap and conflicting claims. It uses specific verb 'scan' and identifies the resource and outcome, distinguishing it from siblings like check_pair and extract_claims.
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 no explicit guidance on when to use this tool versus alternatives. While sibling names hint at different use cases, the description itself lacks context about when to prefer find_contradictions over check_pair or extract_claims.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
generate_reconciliation_promptARead-only
[Pro] For a detected contradiction between two notes, produce a structured LLM-ready prompt for reasoning through the conflict and suggesting resolution.
| Name | Required | Description | Default |
|---|---|---|---|
| note_a_path | Yes | ||
| note_b_path | Yes |
Output Schema
| Name | Required | Description |
|---|---|---|
| result | Yes |
TDQS
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
The annotation readOnlyHint:true already informs the agent that this is a safe, non-mutating operation. The description adds that it 'produce[s] a structured LLM-ready prompt,' clarifying the output type but does not disclose other behavioral traits such as whether it requires specific permissions, handles errors from missing notes, or has any side effects. Given the annotation covers the safety aspect, the description adds moderate value.
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 a single sentence that is front-loaded with a clear verb and resource. It contains no unnecessary words and effectively communicates the tool's purpose. Every part earns its place, making it concise and well-structured.
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 tool has 2 parameters, a read-only annotation, an output schema, and siblings, the description is incomplete. It does not describe the parameters' formats or expected values, nor does it explain what the 'LLM-ready prompt' looks like (though the output schema might cover that). The agent lacks sufficient context to confidently invoke the tool without additional assumptions.
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 0%, so the description must compensate. It mentions 'two notes' and uses note_a_path and note_b_path, implying these are paths to notes. However, it does not elaborate on the format, constraints, or examples of valid paths. The high-level context is provided, but deeper detail is absent, limiting the agent's ability to construct correct inputs.
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: 'produce a structured LLM-ready prompt for reasoning through the conflict and suggesting resolution.' The verb 'produce' and the resource 'structured LLM-ready prompt' are specific. It distinguishes from siblings such as 'find_contradictions' and 'check_pair' by focusing on generating a reasoning prompt rather than detecting or checking contradictions.
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 implies usage context with 'For a detected contradiction between two notes,' indicating it should be used after a contradiction is found. However, it does not explicitly state when to use it versus alternatives like 'extract_claims' or 'check_pair,' nor does it provide any exclusions or warnings. More explicit guidance would improve decision-making.
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. Dates show when Glama detected each change.
4 tool updates
v0.1.0- First observed
check_pair - First observed
extract_claims - First observed
find_contradictions - First observed
generate_reconciliation_prompt
TDQS
Each tool has a clearly distinct purpose: scanning all notes, checking a specific pair, extracting claims from a single note, and generating a reconciliation prompt. No overlap or ambiguity.
All tool names follow a consistent verb_noun pattern in snake_case (find_contradictions, check_pair, extract_claims, generate_reconciliation_prompt).
With 4 tools, the server is well-scoped for its domain of contradiction detection. Each tool serves a necessary function without redundancy or excess.
The tool set covers the complete workflow: discovery of contradictions, detailed analysis of specific pairs, extraction of claims for verification, and generation of resolution prompts. No obvious gaps for the stated purpose.
Maintenance
Resources
Unclaimed servers have limited discoverability.
Looking for Admin?
If you are the server author, to access and configure the admin panel.
Related MCP Connectors
Token-efficient MCP memory for Markdown vaults. Tiered search, GraphRAG, AI memories.
Search and reason over your Obsidian-style Markdown vault, right from ChatGPT.
Create, validate, edit, export (markdown/svg/png/mermaid), and search JSON Canvas files.
Check claims against a fact-store: consistent, contradicts, or unverifiable — with a receipt.
Related MCP Servers
- AlicenseAqualityDmaintenanceScans markdown vaults to identify concepts mentioned but not defined, ranks gaps by priority, and generates research questions or random long-tail topics to fill knowledge gaps.5MIT
- FlicenseAqualityCmaintenanceProvides a read-only semantic layer over an Obsidian vault, enabling queries about projects, decisions, tasks, and related notes.18182-
- AlicenseAqualityDmaintenanceRead-only MCP server that surfaces contradictions in an Obsidian vault's knowledge graph via semantic search and reasoning edges.372MIT
- AlicenseAqualityBmaintenanceBuilds a dynamic knowledge graph from your notes and uses LLM reasoning to discover blindspots, hidden cross-domain connections, track concept evolution, and spark creative inspiration.82Apache 2.0
Latest Blog Posts
- Who's Calling? MCP Hosts Are an Identity Blind Spot (And the Spec Knows It)By Om-Shree-0709 on .mcpAgent IdentityOAuth 2.1
- Your AI Chatbot Just Exposed Your CEO's Salary to an InternBy Om-Shree-0709 on .Agent IdentityMCP SecurityOAuth Delegation
- Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)By Om-Shree-0709 on .Agentic AiPrompt InjectionWebAssembly
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/onetrueclaude-creator/mcp-contradiction-check'
If you have feedback or need assistance with the MCP directory API, please join our Discord server