"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

• Pyke MCP Server

  NewJerseyStyle

  A

  license

  -

  quality

  C

  maintenance

  An MCP server for the Pyke logic programming engine that enables LLMs to perform logical reasoning using knowledge bases with facts, rules, and queries. It supports session management, forward chaining inference, and bulk loading of programs in Logic-LLM format.

  Last updated 2026-01-26

  MIT