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 19 hours ago (2026-09-15 17:10 UTC)2188MIT