NewJerseyStyle
4 servers
| # | Server | Status | Score | Grade | Schema | Protocol | Reliability | Maint. | Security | Lang |
|---|---|---|---|---|---|---|---|---|---|---|
| 1 |
FOL Prover MCP Server
An MCP server for first-order logic theorem proving supporting multiple provers…
|
— | — | — | — | — | — | — | ||
| 2 |
Z3/SMT MCP Server
Enables constraint solving, logical reasoning, and satisfiability checking usin…
|
— | — | — | — | — | — | — | ||
| 3 |
ELIZA MCP Server
Provides a Model Context Protocol interface to interact with the classic ELIZA …
|
— | — | — | — | — | — | — | ||
| 4 |
Pyke MCP Server
An MCP server for the Pyke logic programming engine that enables LLMs to perfor…
|
62 | C | 39 | 36 | — | 67 | 80 |
Showing 1–4 of 4 servers
1