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