Why it was accepted
The page clearly describes a real AI-adjacent developer tool with a specific purpose: helping LLMs perform mathematics while preserving evidence, provenance, and trust levels. The README shows concrete functionality, architecture, a feature matrix, installation, quickstart sections, and multiple supported computation modes and engines. That is enough evidence for a useful public listing, and the project has a distinct angle around evidence-aware math and claim tracking that separates it from a generic solver.
