MCP Servers for tool

Flagging features from your IDE with Bucket.co

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc

An MCP server that provides LLMs with the latest stable package versions when coding

🧠 An adaptation of the MCP Sequential Thinking Server to guide tool usage. This server provides recommendations for which MCP tools would be most effective at each stage.