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
sdiehl/
sympy-mcp
sdiehl/sympy-mcpConnectors
A MCP server for symbolic manipulation of mathematical expressions
85
takashiishida/
arxiv-latex-mcp
takashiishida/arxiv-latex-mcpConnectors
MCP server that uses arxiv-to-prompt to fetch and process arXiv LaTeX sources for precise interpretation of mathematical expressions in scientific papers.
145