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