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.

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

A MCP server for symbolic manipulation of mathematical expressions

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

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