Armory
Source
Browse
MCPs

fol-prover-mcp-server

An MCP server for first-order logic theorem proving supporting multiple provers like Vampire, E, and Prover9, with built-in simple prover, session management, and TPTP export.

Score
22.5571 signal
Evidence
1 star
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. angrysky56-logic46 stars · 10 forks85.517
  2. lean-lsp-mcp21 stars · 4 forks75.980
  3. aristotle-mcp-server13 stars · 3 forks69.750

What it is

An MCP server for first-order logic theorem proving supporting multiple provers like Vampire, E, and Prover9, with built-in simple prover, session management, and TPTP export.

When to use it

An MCP server for first-order logic theorem proving supporting multiple provers like Vampire, E, and Prover9, with built-in simple prover, session management, and TPTP export.

How to install / invoke

See Glama for the install config.

Notes

Listed from the Glama MCP registry.