Mathematics
Top open-source Mathematics AI systems, agents, and MCP tools.
Discover and install verified Mathematics AI systems, autonomous agent skills, and Model Context Protocol servers on AIStoreHub. Reusable, security-scanned, and ready for 1-click execution in Cursor, Claude Code, and terminal workflows.
Available AI Systems & Skills (18)
Open in Advanced FilterNeuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
A practical framework for AI-Assisted Research in Mathematics and Machine Learning
Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Turn any AI agent into an AI Scientist. The #1 Agent Skills library for science, used by 250,000+ scientists worldwide. 177 ready-to-use validated skills plus 100+ scientific databases covering biology, chemistry, medicine, and drug discovery. Compatible with Cursor, Claude Code, Codex, Pi, Antigravity, and the open Agent Skills standard.
Comprehensive hands-on course and curriculum for Large Language Models (LLMs) with interactive Colab notebooks, fine-tuning recipes, quantization, and evaluation roadmaps.
Improve how you work with AI. Portable Claude Code and Codex skill with evidence-based assessment and evaluation.
Curated Claude Fable 5 use cases, tutorials, integrations, demos, and benchmark evidence with source links and multilingual README files.
High performance coding agent harness written in Rust, built for heavy multi-agent dev workflows
A curated list of autonomous improvement loops, research agents, and autoresearch-style systems inspired by Karpathy's autoresearch.
A Systematic Analysis and Discussion of Claude Code for Designing Today's and Future AI Agent Systems
A curated, multilingual library of 182 installable AI agent skills for end-to-end academic research—spanning literature discovery, scientific writing, grant development, bioinformatics, drug discovery, clinical research, machine learning, and data analysis.
An AI skill that turns books into animated, narrated, interactive web experiences
MCP server that uses arxiv-to-prompt to fetch and process arXiv LaTeX sources for precise interpretation of mathematical expressions in scientific papers.
面向国赛 CUMCM、美赛 MCM/ICM 的数学建模 AI 助手与 Agent Skill：审题、模型比较、Python 运行、结果核验、论文辅助和团队协作。Mathematical modeling AI copilot for CUMCM and MCM/ICM, with reproducible workflows and a local workbench.
A curated list of indie-built AI startups — bootstrapped, pre-seed, and angel-funded products only.
Encrypted, fully offline agentic memory. One click install, GUI w/ memory map, all OS and agents. Superior memory creation, storage and retrieval.
Build & Monetize for Mathematics
Have you created an autonomous agent, MCP server, or Claude Code skill for Mathematics? Publish it to AIStoreHub with dual-currency checkout (USD $ + INR ₹) and earn 85–90% net revenue.