yogthos
2 servers
| # | Server | Status | Score | Grade | Schema | Protocol | Reliability | Maint. | Security | Lang |
|---|---|---|---|---|---|---|---|---|---|---|
| 1 |
Chiasmus
MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog,…
|
87 | A | 100 | — | — | 55 | 95 | ||
| 2 |
lattice-mcp
Enables processing documents larger than LLM context windows using symbolic com…
|
74 | B | 75 | 58 | — | 45 | 90 |
Showing 1–2 of 2 servers
1