AgentDish directory
mathematics
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#350
↓ -4
MathKernel
An evidence-aware mathematics runtime for LLMs and a Python/MCP server. It combines exact, symbolic, formal, certified-interval, and numeric computation with typed outputs, trust labels, and provenance tracking. |
Developer Tools / AI/LLM Orchestration | 87 | ↓ -4 | 2 days ago | Details |