Related Servers

No user-submitted related servers found.

Related Servers

• tlaplus-mcp

  richashworth

  A

  license

  A

  quality

  D

  maintenance

  Exposes the TLA+ toolchain (TLC, SANY, PlusCal, TLATeX) as structured JSON tools via the Model Context Protocol, enabling AI assistants to parse, check, simulate, and typeset TLA+ specifications.

  Updated 3 months ago (2026-05-14 20:45 UTC)

  9

  28

  1

  MIT

• Chiasmus

  yogthos

  A

  license

  -

  quality

  A

  maintenance

  MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.

  Updated 2 months ago (2026-06-29 12:19 UTC)

  89

  207

  Apache 2.0

• lu-mcp-server

  rafapra3008

  A

  license

  A

  quality

  B

  maintenance

  Verify AI agent communication with session types and formal proofs. 4 tools: parse protocols, verify messages, check safety properties, browse 20 stdlib templates.

  Updated 2 months ago (2026-06-03 15:54 UTC)

  4

  10

  Apache 2.0

• MCP Server for Alloy Modeling

  awwaiid

  A

  license

  B

  quality

  D

  maintenance

  Enables LLM-powered agents to generate, execute, and analyze Alloy modeling language code for software modeling and formal verification. Provides tools to run Alloy models, access documentation and examples, and generate models from system descriptions.

  Updated 10 months ago (2025-10-05 00:41 UTC)

  1

  MIT

• Touchstone MCP Server

  savecharlie

  A

  license

  -

  quality

  C

  maintenance

  Provides deterministic, verifiable text/code/measurement utilities for AI agents, enabling tasks like unit conversion, citation formatting, diffing, proofreading, readability scoring, and syntax checking with re-executable proof.

  Updated 2 months ago (2026-06-29 18:55 UTC)

  MIT

• tolk-mcp-server

  robustfengbin

  A

  license

  -

  quality

  C

  maintenance

  Enables LLMs to compile and verify Tolk smart contract code for the TON blockchain.

  Updated 8 months ago (2025-12-28 05:05 UTC)

  1

  MIT