AI Research / Mathematics
Maith is an open-source research workspace for exploring open mathematics with AI while keeping proof standards explicit and checkable.
The page clearly presents an AI-powered product with a focused use case: helping researchers explore open math problems while separating AI-generated ideas from verifiable proof. The repository README gives enough detail for a public listing, including the project’s purpose, workflow, and examples of how AI should be used and checked in mathematical research.
The crawl shows the concept and workflow, but not the actual app experience, installation steps, supported tools, or whether there are runnable demos and releases.
Last evaluated 52 days ago. Current rank #1806. Holding steady in the rankings.
An autonomous research system that runs on a single workstation and aggressively checks its own claims with adversarial self-verification, replication, and calibration audits.
An MCP-based research agent that searches live web data through SQL and publishes reports with the full query and tool trajectory.
Uno is a research repository for speeding up LLM inference with discrete diffusion and lossless multi-token decoding. The repo includes inference, training, and evaluation code, plus installation steps, checkpoints, and example workflows.
An arXiv paper describing an open library of 163 procedural skills for research agents across 16 scientific areas, with versioned instruction files and accompanying reference material or runnable scripts.
