frenzymath/
Danus
frenzymath/DanusAgents
Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
423
mathomhaus/
guild
mathomhaus/guildConnectors
Shared context, memory, and task coordination across AI coding agents. Single Go binary, local SQLite, hybrid keyword and semantic search.
305
sdiehl/
sympy-mcp
sdiehl/sympy-mcpConnectors
A MCP server for symbolic manipulation of mathematical expressions
85
ZIB-IOL/
The-Agentic-Researcher
ZIB-IOL/The-Agentic-ResearcherHarnesses
A practical framework for AI-Assisted Research in Mathematics and Machine Learning
95
rand/
cc-polymath
rand/cc-polymathSkills
Claude Code skills and workflows, optimized for context-efficiency and skill quality. Skills ranging from cloud infrastructure to design to advanced maths.
174
matlab/
matlab-mcp-server
matlab/matlab-mcp-serverConnectors
Run MATLAB® using AI applications with the official MATLAB MCP Server from MathWorks®. This MCP server for MATLAB supports a wide range of coding agents like Claude Code® and Visual Studio® Code.
1.5k
Yusuke710/
manim-skill
Yusuke710/manim-skillSkills
SKILL.md for creating animations with Manim. Coding Agent autonomously plans scenes, writes Manim code, renders videos, and refines based on feedback.
151