Blobfish AI
MCPBenchmarksTalk to usOpen Studio
← Dataset catalog

Hugging Face / Scientific Research

AI4Math/IneqMath

Ready for adaptation. A source-specific Blobfish world has not yet been built for this dataset.

Read the source dataset ↗

Source assessment

MCP / tool-use evidence
Not established
Professional domain
Scientific Research
License
cc-by-sa-4.0 · within automated reuse policy
Assessment observed
2026-09-04T21:27:11+00:00
Source revision
3c7c32c786eb77117f3476d7f6d9af8419fa6ecc
Inspect classification evidence
{
  "markers": [],
  "source": "catalog-metadata"
}

Metadata signals guide routing; they do not prove runtime fidelity or task quality.

The Blobfish adaptation

Pending implementation. Its tasks, assets, environments, and trajectories will be linked here after qualification and publication.

  1. Inspect the pinned source, its license, and its task semantics.
  2. Author a domain world with meaningful state and mocked CLI, website, API, and MCP tools.
  3. Prove every task is solvable; replay it and reject incorrect and incomplete solutions.
  4. Publish the website explorer, Hugging Face dataset, Harbor package, and GitHub world.
  5. Run the frozen release with models and publish comparable results.