"author:NewJerseyStyle" matching MCP servers:

• Z3/SMT MCP Server

  NewJerseyStyle

  A

  license

  A

  quality

  C

  maintenance

  Enables constraint solving, logical reasoning, and satisfiability checking using the Z3 theorem prover via natural language.

  Last updated 2026-01-24

  13

  1

  MIT

• 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