frenzymath/
Danus
frenzymath/DanusAgents
Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
423
ZIB-IOL/
The-Agentic-Researcher
ZIB-IOL/The-Agentic-ResearcherHarnesses
A practical framework for AI-Assisted Research in Mathematics and Machine Learning
95
morluto/jacobianConnectors
Composable mathematics tools for agents
191
sdiehl/
sympy-mcp
sdiehl/sympy-mcpConnectors
A MCP server for symbolic manipulation of mathematical expressions
85