1. Conduid
  2. Marketplace
  3. NewJerseyStyle
Publisher

MCP servers by NewJerseyStyle

NewJerseyStyle publishes 3 live MCP servers on GitHub. Listed by trust score; the score reflects each repository's own health, security checks, and documentation.

3
live servers
47
avg trust
1
most stars
1

Folprover MCP

NewJerseyStyle

MCP server for First-Order Logic provers (Vampire, E)

★ 1updated 9 months agoMIT
54
2

Z3smt MCP

NewJerseyStyle

MCP server for Z3/SMT solver - enables constraint solving and logical reasoning

★ 1updated 9 months agoMIT
54
3

Elisa MCP

NewJerseyStyle

The first chatbot ELISA as a tool (reference) for LLM in producing ELIZA effect

34
← Previous Page 1 of 1 Next →