fc0web

MCP server for controlling serial-connected measurement devices from AI (Claude etc). Mock device built-in — works without hardware. Python + MCP 2.0+.

実験ノート MCP サーバー — benchtop (測定) と rei-aios (理論) をつなぐ共有一次資料層 (append-only, mode-gated, SQLite + content-addressed artifacts)

反証機械の 心臓部を 支える 4 primitives (Verdict / IncompleteMarker / AuditChain / VerifiedExecution) + MCP wrapper。 「沈黙を 成功と 偽装しない」 型的保証。

Read-only MCP server for Rei-AIOS SEED_KERNEL theory lookup (Phase 1: seed_search / seed_get / seed_list_steps over SQLite + FTS5 trigram)

Meta connector for Rei stack MCP servers: coherence checking across sources pointing to the same object

Formal-verification checker MCP server — three-valued verdict (VALID/INVALID/UNDECIDED), no LLM in judgment path, append-only refutation ledger

医療者の 「調べもの」 時間を削る MCP サーバ (v0.1.0)。 PubMed / ClinicalTrials.gov / KEGG DRUG / 診療報酬マスター / ガイドライン検索の 9 tools。 SaMD 非該当、 患者データ扱わず、 出典と原文のみ返す設計

MCP bridge for OPC UA LADS lab instruments, with approval-gated execution and witnessed provenance. v0.1.0-preview.