Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

Shared context, memory, and task coordination across AI coding agents. Single Go binary, local SQLite, hybrid keyword and semantic search.

A MCP server for symbolic manipulation of mathematical expressions

A practical framework for AI-Assisted Research in Mathematics and Machine Learning

Google Ads Agent Skills for Claude — campaign analysis, account auditing, safe write ops, PPC math, and MCP server integration

Claude Code skills and workflows, optimized for context-efficiency and skill quality. Skills ranging from cloud infrastructure to design to advanced maths.

MCP server that uses arxiv-to-prompt to fetch and process arXiv LaTeX sources for precise interpretation of mathematical expressions in scientific papers.

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.

Paideia — a Claude Code plugin that forms exam readiness locally. Stop renting your own learning.

SKILL.md for creating animations with Manim. Coding Agent autonomously plans scenes, writes Manim code, renders videos, and refines based on feedback.