Checks the operational status of Contradiction MCP, including database connectivity and server metrics.

Analyzes two claims to determine whether they contradict each other, returning contradiction classification, severity, confidence score, and explanation.

Scans all claims in the database using deterministic candidate grouping, detects contradictions, persists them without duplicates, and returns a summary report.

Performs an incremental scan for a single claim against relevant candidate claims in the database and persists new contradictions.

Scans all claims from a specific source, file, or repository for contradictions against all other claims in the database.

Queries stored contradiction records from the database with optional filtering by status, severity, type, and confidence.

Retrieves a single contradiction by ID, including its complete claim and source records for in-depth agent investigation.

Lists all available external source connectors with their capabilities, authentication requirements, and statuses.

Tests connectivity to GitHub and validates accessibility of a specific repository without exposing credentials.

Ingests a real GitHub repository, extracts factual claims (runtimes, dependencies, ports), idempotently persists them in SQLite, and runs automatic contradiction discovery on touched claims.

Explains why two claims do or do not contradict each other based on context dimensions including environment, scope, source role, temporal state, SemVer range compatibility, and set membership.

Marks a contradiction record as REVIEWED, recording the reviewer identity and optional notes in the persistent audit trail.

Resolves a contradiction record, recording the authoritative chosen claim (optional), resolution reason, and audit trail.

Dismisses a contradiction record as acceptable or non-actionable, preserving an audit record of the decision.

Reopens a previously resolved or dismissed contradiction back to OPEN status with audit trail logging.

Retrieves the chronological audit history of review and resolution actions performed on a contradiction record.

Retrieves the chronological value transition history for a specific factual claim, tracking updates and superseded values.

Generates deterministic authority and freshness scoring comparison to advise an agent on which claim likely represents current truth.

Unified ingestion tool: synchronizes any registered source connector (github, document, website), idempotently extracts claims, and runs automatic contradiction discovery.

Batch ingestion tool: synchronizes multiple external sources with bounded concurrency, failure isolation, and unified contradiction discovery.

Synchronizes a local document file (Markdown, text, JSON, YAML, CSV), extracts claims with exact line provenance, and discovers contradictions.

Fetches an explicit public web page with strict SSRF defenses, extracts factual claims, and discovers contradictions.