fc0web

MCP server for operating, recording, and analyzing serial-connected measurement instruments and circuits via AI agents. Includes a built-in mock device so all f

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

A verification infrastructure and MCP server that specializes in refutation (negation) rather than generation, providing tools for counterexample search, Lean v

A meta-layer MCP server that treats connectors as objects and access paths as morphisms, enabling automated coherence checks across multiple data sources to det

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.