Composable mathematics tools for agents

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

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