Skip to main content
Glama

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-check

Related MCP server: SecondBrain MCP

Usage

Claude Code

claude mcp add mcp-contradiction-check -- mcp-contradiction-check

Claude Desktop

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "contradiction_check": {
      "command": "uvx",
      "args": ["mcp-contradiction-check"]
    }
  }
}

MCP Tools

Tool

Tier

Description

find_contradictions

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.

check_pair

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.

extract_claims

Pro

Pull all quantitative claims (numbers with units) and negation patterns from a single note. Useful as input to your own verification pipeline.

generate_reconciliation_prompt

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.jwt

Licenses 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 tools
check_pairA
Read-only

Run the full contradiction check between two specific notes. Accepts absolute paths or filename stems (within a vault that can be inferred).

ParametersJSON Schema
NameRequiredDescriptionDefault
note_a_pathYes
note_b_pathYes

Output Schema

ParametersJSON Schema
NameRequiredDescription
resultYes

TDQS

A3.7/5.0
Behavior3/5

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.

Conciseness5/5

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.

Completeness4/5

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.

Parameters4/5

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.

Purpose4/5

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.

Usage Guidelines3/5

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_claimsC
Read-only

[Pro] Pull all quantitative claims (numbers with units) and negation patterns from a single note — structured output for your verification pipeline.

ParametersJSON Schema
NameRequiredDescriptionDefault
note_pathYes

Output Schema

ParametersJSON Schema
NameRequiredDescription
resultYes

TDQS

C2.9/5.0
Behavior3/5

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.

Conciseness4/5

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.

Completeness3/5

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.

Parameters1/5

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.

Purpose4/5

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.

Usage Guidelines2/5

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_contradictionsB
Read-only

Scan the vault for note pairs with high concept overlap but conflicting numerical or qualitative claims.

ParametersJSON Schema
NameRequiredDescriptionDefault
limitNo
vault_pathYes
min_shared_conceptsNo

Output Schema

ParametersJSON Schema
NameRequiredDescription
resultYes

TDQS

B3.4/5.0
Behavior3/5

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.

Conciseness5/5

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.

Completeness3/5

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.

Parameters2/5

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.

Purpose5/5

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.

Usage Guidelines2/5

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_promptA
Read-only

[Pro] For a detected contradiction between two notes, produce a structured LLM-ready prompt for reasoning through the conflict and suggesting resolution.

ParametersJSON Schema
NameRequiredDescriptionDefault
note_a_pathYes
note_b_pathYes

Output Schema

ParametersJSON Schema
NameRequiredDescription
resultYes

TDQS

A3.6/5.0
Behavior3/5

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.

Conciseness5/5

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.

Completeness2/5

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.

Parameters3/5

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.

Purpose5/5

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.

Usage Guidelines3/5

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.

  1. 4 tool updatesv0.1.0
    • First observedcheck_pair
    • First observedextract_claims
    • First observedfind_contradictions
    • First observedgenerate_reconciliation_prompt

TDQS

A3.7/5.0
Disambiguation5/5

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.

Naming Consistency5/5

All tool names follow a consistent verb_noun pattern in snake_case (find_contradictions, check_pair, extract_claims, generate_reconciliation_prompt).

Tool Count5/5

With 4 tools, the server is well-scoped for its domain of contradiction detection. Each tool serves a necessary function without redundancy or excess.

Completeness5/5

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

ActivityInactive
ResponsivenessNo issues

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

Related MCP Servers

Latest Blog Posts

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