MathForm-8B Autoformalization vs HasData Yellow Pages
MathForm-8B Autoformalization offers 1 tool and runs remotely and HasData Yellow Pages lists no tools and runs remotely.
| Fact | MathForm-8B Autoformalizationco.huggingface.hugging-apps/mathform-8b-autoformalize | HasData Yellow Pagescom.hasdata/yellowpages |
|---|---|---|
| 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 | Remote |
| Needs first | – | – |
| Licence | Not stated | MIT |
| Latest version | Not stated | 1.0.2 |
| 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 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 | Not known |
| Install | Install MathForm-8B Autoformalization | Install HasData Yellow Pages |
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 HasData Yellow Pages 0
- None
Compare MathForm-8B Autoformalization with othersCompare HasData Yellow Pages with others