fts-gate-mcp
Rank #125,770glama/digitable-lol/fts-gate
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.
fts-gate-mcp is a Model Context Protocol (MCP) server published by digitable-lol. It ranks #125,770 of 132,046 servers tracked on MCP Toplist. fts-gate-mcp is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Aug 4, 2026.
Ranks ahead of 6,276 of 132,046 servers on MCP Toplist.
Use fts-gate-mcp
No credentials or required configuration declared — add it to your MCP client and go.
This server doesn't publish a machine-readable install config — see the repository README for install instructions.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/glama%2Fdigitable-lol%2Ffts-gate)<a href="https://mcptoplist.com/server/glama%2Fdigitable-lol%2Ffts-gate"><img src="https://mcptoplist.com/badge/glama%2Fdigitable-lol%2Ffts-gate.svg" alt="MCP Toplist: #125,770 of 132,046" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
digitable-lol
Other servers by digitable-lol
View all digitable-lol servers →Not versioned
This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- Who maintains fts-gate-mcp?
- fts-gate-mcp is maintained by digitable-lol, which publishes 2 MCP servers (0 total versions) tracked on MCP Toplist.
- Is fts-gate-mcp listed on the Official MCP Registry?
- fts-gate-mcp is not on the Official MCP Registry. It is listed on Glama.
- How many versions does fts-gate-mcp have?
- fts-gate-mcp ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for fts-gate-mcp?
- The source code for fts-gate-mcp is hosted at github.com/digitable-lol/fts-gate.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.