4
Published Tools
6
Total Stars
1
Weekly Downloads
31
GitHub Followers
118
Public Repos
Published Tools
4 MCP Serversacross 1 categoryDavid Xu
MCP server for First-Order Logic provers (Vampire, E)
MCP Serveruncategorised
12 dirs
David Xu
MCP server for Z3/SMT solver - enables constraint solving and logical reasoning
MCP Serveruncategorised
12 dirs
newjerseystyle
A Model Context Protocol (MCP) server for the ELIZA chatbot
MCP Serveruncategorised
1/wk1 dir