"author:fc0web" matching MCP servers:

A meta-layer MCP server that treats connectors as objects and access paths as morphisms, enabling automated coherence checks across multiple data sources to detect inconsistencies. It provides tools to list sources, compare fingerprints for coherence, and identify divergent or unreachable sources.

Provides MCP tools to verify logical expressions and retrieve decision statistics, with verdicts VALID, INVALID, or UNDECIDED.

Enables searching medical literature, clinical trials, drug information, guidelines, and medical fee schedules directly from Claude, returning only original sources and text without medical judgment.

A verification infrastructure and MCP server that specializes in refutation (negation) rather than generation, providing tools for counterexample search, Lean verification, and audit chains with a 4-value verdict system.

Enables LLM agents to connect to and control OPC UA LADS laboratory instruments, with approval-gated execution of state-changing operations and retrievable SHA-256 witnessed provenance records.

Read-only MCP server that lets Claude/Rei query a curated SEED_KERNEL repository of over 1,677 theories via full-text search, ID lookup, or STEP metadata.

Enables persistent, append-only storage of measurement data and experimental records using a SQL schema, with read-only and read-write modes for professional lab notebook use.

MCP server for operating, recording, and analyzing serial-connected measurement instruments and circuits via AI agents. Includes a built-in mock device so all features can be tested without physical hardware.