"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

• ELIZA MCP Server

  NewJerseyStyle

  A

  license

  -

  quality

  D

  maintenance

  Provides a Model Context Protocol interface to interact with the classic ELIZA chatbot, enabling stateful conversations with tools for chatting, resetting, and retrieving greetings/farewells.

  Last updated 2026-02-01

  1

  MIT