MPC Server by szeider
MCP server for Constraint, SAT, and SMT solving
MCP server to consult a language model with large context size
An MCP server that allows you to search the DBLP computer sceince bibliography.
