Instructions file
Repository instructions for a lab notebook server that permanently stores and searches measurement records. It separates that work from equipment control and theory-building systems.
0 10d ago A 808 tokens
original MIT
MCP server Claude CodeCodexCursor
MCP server "lab-notebook-mcp" as configured in fc0web/lab-notebook-mcp. Runs locally from the lab-notebook-mcp Python package.
0 10d ago A
tokens not measured
original MIT
rei-verify
03MCP server Claude CodeCodexCursor +2
反証機械 (refutation machine) の 心臓部を 支える 4 primitives (Verdict / IncompleteMarker / AuditChain / VerifiedExecution) + MCP wrapper. Runs locally from the rei-verify Python package.
0 13d ago A
tokens not measured
MCP server Claude CodeCodexCursor +2
MCP server "rei-memory-mcp" as configured in fc0web/rei-memory-mcp. Runs locally from the rei-memory-mcp Python package.
0 13d ago A
tokens not measured
rei-meta-mcp
05MCP server Claude CodeCodexCursor +2
MCP server "rei-meta-mcp" as configured in fc0web/rei-meta-mcp. Runs locally from the rei-meta-mcp Python package.
0 7d ago A
tokens not measured
Instructions file
A project instruction file for a checker that verifies whether designs or specifications follow set rules. It says decisions must not be made by an AI language model and that uncertain cases must be reported as uncertain.
0 6d ago A 3,153 tokens
MCP server Claude CodeCodexCursor +2
MCP server "rei-checker-mcp" as configured in fc0web/rei-checker-mcp. Runs locally from the rei-checker-mcp Python package.
0 6d ago A
tokens not measured
med-lit-mcp
08MCP server Claude CodeCodexCursor +2
MCP server "med-lit-mcp" as configured in fc0web/med-lit-mcp. Runs locally from the med-lit-mcp Python package.
0 9d ago A
tokens not measured
original MIT