EduBase vs MisarPost MCP Server
EduBase lists no tools and runs remotely and MisarPost MCP Server lists no tools and runs remotely.
| Fact | EduBaseio.github.EduBase/MCP | MisarPost MCP Serverio.github.Misar-AI/misarpost-mcp |
|---|---|---|
| Score | Not checked yet | Not checked yet |
| Status | Not checked yet | Not checked yet |
| Tools | 0 | 0 |
| Can write data | No tools listed | No tools listed |
| Runs | Remote | Remote |
| Needs first | – | – |
| Licence | MIT | MIT |
| Latest version | 2.0.11 | 3.0.0 |
| Known advisories | 0 | 0 |
| Works in | Claude Desktop, Claude Code, Cursor, VS Code, Devin Desktop, Zed, Cline, Continue, Goose, LM Studio, Gemini CLI, Codex, oterm, Agenvoy, Amp, AnythingLLM, Augment Code, Bob Shell, ECA, Kiro, Kiro CLI | Claude Code, Cursor, VS Code, Devin Desktop, Zed, Cline, Goose, LM Studio, Gemini CLI, Codex, oterm, Agenvoy, Amp, AnythingLLM, Bob Shell, ECA, Kiro, Kiro CLI |
| Downloads last week | Not known | 0 |
| Install | Install EduBase | Install MisarPost MCP Server |
Scores and status come with our own checks, which have not run on these servers yet. The rest is from the publishers' registry entries, package registries and advisory databases.
Compare EduBase with othersCompare MisarPost MCP Server with others