"author:digitable-lol" matching MCP servers:

MCP server for fts-gate. It enables verification of FTS executable specifications through proof-carrying checks, exposing tools to run gate checks (fts_gate_check) and list available morphisms (fts_morphisms_list), with rejection of invalid proofs via structural logical fallacy detection.

MCP stdio server that exposes 95 headless it-tools utilities (crypto, encoding, converters, generators, text, math, and more) through three routing tools (categories, list, execute), with flat JSON schemas, worked examples, and deterministic seeded execution designed for small router models.