"author:NewJerseyStyle" matching MCP servers:

• FOL Prover MCP Server

  NewJerseyStyle

  A

  license

  A

  quality

  C

  maintenance

  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.

  Last updated 2026-01-25

  13

  1

  MIT