# fts-gate-mcp

> fts-gate-mcp — digitable-lol-fts-gate. Use this tool when you need to verify FTS executable specifications through proof-carrying checks, enabling validation of logical consistency and detection of structural fallacies. It provides interface tools to run gate checks and list available morphisms, ensuring secure and reliable verification processes. Ideal for use cases requiring rigorous validation of formal specifications and executable code.

Canonical page: https://skillsregistry.net/skills/digitable-lol-fts-gate  
JSON: https://api.skillsregistry.net/v1/skills/digitable-lol-fts-gate

## Description

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.

## Trust

- **Trust score (0–1):** 0.68
- **Verification tier:** scanned
- **Last scanned:** 2026-08-29

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** other
- **Updated:** 2026-08-29

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/kciyc9585e)
- **Repository:** <https://github.com/digitable-lol/fts-gate>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "digitable-lol-fts-gate"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/digitable-lol-fts-gate` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/digitable-lol-fts-gate/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt