24 packages found
A comprehensive Go-based MCP server for mathematical computations with 13+ tools
MCP server that uses arxiv-to-prompt to fetch and process arXiv LaTeX sources for precise interpretation of mathematical
A high-performance Model Context Protocol (MCP) server for math-ing whilst vibing with LLMs. Leveraging Polars for opti
🚀 Fermat MCP: The Ultimate Math Engine - Unifying SymPy, NumPy & Matplotlib in one powerful server! Perfect for devs &
🧠 The Collective Memory Network for AI Agents — Where every agent learns from the wisdom of all. 万物智识，归于一圈。
@WhatsonyourmindDeterministic decision-intelligence MCP server for AI agents — 17 tools, 21 algorithms (LinUCB, HiGHS LP/MIP, PageRank,
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
MCP Server for DeepSeek API - enables MCP clients to use DeepSeek Chat and Reasoner models
AI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.
Cherry blossom & autumn leaves forecast for Japan. 1,700+ spots with real-time bloom data, weather, and trip planning
MCP server for SignalFuse trading intelligence API
mcp-occams-razor
[NeurIPS 2024] ReEvo: Large Language Models as Hyper-Heuristics with Reflective Evolution
(S)AGE - (Sovereign) Agent Governed Experience
Token-Optimization-Mastery
A Model Context Protocol (MCP) server that gives Claude direct control over Strudel.cc for AI-assisted music generation
A Model Context Protocol (MCP) server implementation that connects Large Language Models (LLMs) to GIS operations using
MCP server for EN Diagram — structural analysis for any system. Install: npx @endiagram/mcp
MCP server for calculating biological age using the Morgan Levine PhenoAge clock
🛰️ A CLI tool for tracking token usage from OpenCode, Claude Code, 🦞OpenClaw (Clawdbot/Moltbot), Pi, Codex, Gemini, Cu
数学建模竞赛完整工具链：从拿到赛题到交出论文，一条龙解决。 覆盖 国赛 CUMCM（A/B/C） 和 美赛 MCM/ICM（A-F） 全部题型。
A Claude skill for rigorously solving math problems — equations, proofs, optimization, geometry, and more, with step-by-