jacobianResearch & DataKnowledge & MemorymorlutoAlicenseAqualityAmaintenanceAn MCP server for executable mathematics that enables agents to construct objects, compute invariants, search for witnesses, and verify results with independently checkable evidence. Updated 2 days ago (2026-10-29 15:55 UTC)2345MIT