MathForm-8B Autoformalization vs mcp-server-time
MathForm-8B Autoformalization offers 1 tool and runs remotely and mcp-server-time lists no tools and runs locally.
| Fact | MathForm-8B Autoformalizationco.huggingface.hugging-apps/mathform-8b-autoformalize | mcp-server-timeio.github.modelcontextprotocol/servers-time |
|---|---|---|
| Score | Not checked yet | Not checked yet |
| Status | Not checked yet | Not checked yet |
| Tools | 1 | 0 |
| Can write data | Not stated by the publisher | No tools listed |
| Runs | Remote | Local |
| Needs first | – | uv |
| Licence | Not stated | MIT |
| Latest version | Not stated | 2026.10.19 |
| Known advisories | Not checked yet | 0 |
| Works in | Claude Desktop, Claude Code, Cursor, VS Code, Devin Desktop, Cline, Continue, LM Studio, Gemini CLI, oterm, Amp, AnythingLLM, Augment Code, ECA | Claude Desktop, Claude Code, Cursor, VS Code, Devin Desktop, Zed, Cline, Continue, Goose, LM Studio, Gemini CLI, Codex, mcp-client-cli, oterm, TUUI, BoltAI, Agenvoy, Amp, AnythingLLM, Augment Code, Bob Shell, ECA, Kiro, Kiro CLI |
| Downloads last week | Not known | Not known |
| Install | Install MathForm-8B Autoformalization | Install mcp-server-time |
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.
Tools
Only in MathForm-8B Autoformalization 1
In both 0
- None
Only in mcp-server-time 0
- None
Compare MathForm-8B Autoformalization with othersCompare mcp-server-time with others