92 packages found
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicab
A high-performance Model Context Protocol (MCP) server for math-ing whilst vibing with LLMs. Leveraging Polars for opti
数学建模竞赛完整工具链:从拿到赛题到交出论文,一条龙解决。 覆盖 国赛 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-
UpMath MCP server for Claude Code - LaTeX/TikZ rendering via i.upmath.me API
A comprehensive Go-based MCP server for mathematical computations with 13+ tools
Official Implementation of Dynamic LLM-Agent Network: An LLM-agent Collaboration Framework with Agent Team Optimization
Time estimation MCP server for AI agents: PERT, COCOMO II, Monte Carlo, sprint forecasting, token-to-time mapping, cost
This repository demonstrates how to use AutoGen to integrate local and remote MCP (Model Context Protocol) servers. It s
SigRank MCP — the yield cascade + live leaderboard as MCP tools any agent can call. On-device token scanner + tabbed TUI
Verified business-day math for AI agents: holidays + per-country weekends, not guesses.
One FastMCP server, one port — expose each tool group at its own native MCP URL, so every agent sees only the tools it n
One place to manage & connect to all your MCP servers
Deterministic decision-intelligence MCP server for AI agents — 17 tools, 21 algorithms (LinUCB, HiGHS LP/MIP, PageRank,
A Model Context Protocol (MCP) server that provides access to multiple Large Language Model (LLM) APIs including ChatGPT
AlgoTune is a NeurIPS 2025 benchmark made up of 154 math, physics, and computer science problems. The goal is write code
🚀 Fermat MCP: The Ultimate Math Engine - Unifying SymPy, NumPy & Matplotlib in one powerful server! Perfect for devs &
Unofficial D&D 5e Dungeon Master for Claude Code — persistent campaigns, full 5e mechanics, and an optional cinematic di
Offline MCP server that predicts LLM call cost and recommends the cheapest capable model before you call it. No API keys
Behavioral Verification Infrastructure — MCP-native intelligence layer for autonomous software correctness. 17 MCP tools
Agent-ready financial intelligence MCP tools — stock snapshots, company metrics, derived signals
A Model Context Protocol (MCP) server that enables AI assistants to control Keynote presentations through AppleScript au
Claude Code skill — generate cross-client HTML email with MJML. Outlook-safe, Gmail-optimized, WCAG 2.1 AA accessible.
MCP server for W-2 event staffing across 345 US/CA markets: plan_staffing planner, live rates, availability, compliance,
MCP server giving LLM agents a seven-verb API over papers, documents, code, state, patents, and cached web/Wolfram/YouTu
MCP server that exposes PraisonAI tools for Claude Desktop, Cursor, and other MCP clients
AI-powered travel hacking and search with cash, points, miles, and award flights. Drop-in skills and MCP servers for Cla
An infinite canvas for learning — select text, ask, and answers branch out as documents. MCP server for Claude Code, Cod
Chat with your robotics, drone, and IoT data — ChatGPT for the physical world.
Official MCP server for Lobby (lobbyvoices.com) — 8 free, no-auth receptionist tools for AI agents: phone scripts & IVR
MCP server for the Invovate invoice API — generate PDF, JSON & UBL 2.1 invoices in 11 languages from AI agents (Claude D
Open-source (Apache-2.0) PDF takeoff for construction & flooring — the first engine an AI agent drives natively over MCP
Treasury standard for AI agents on Base. MCP server for GBLIN — park idle USDC in cbBTC/WETH index, JIT-swap for x402 pa
The most comprehensive everyday calculator MCP server — 501 tools, 22 categories, 8 countries. Free, no API key.
Provably correct day-count and accrued-interest calculations.
MCP server giving AI agents tools for workforce attendance, overtime, overnight shifts & California wage-and-hour compli
Headless, deterministic audio engine for AI agents: compose scores as data, render byte-reproducible PCM offline, then l
Model Context Protocol servers for the official Robinhood Crypto Trading API — the credentialed brokerage API at trading
Warhammer 40K and Kill Team rules, stats, and game flow MCP server
AI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.
Search & analytics data as infrastructure — MCP server for Google Search Console, Bing Webmaster Tools, and GA4, designe
Minimal Go MCP toolkit on the official go-sdk — stdio, HTTP, SSE; tools, resources, prompts; struct-derived JSON Schema;
Bilig WorkPaper: headless spreadsheet formula engine and MCP server for Node agents: complete spreadsheet work autonomou
MCP stdio server for onlinecybertools.com API
Celestial object catalog and observing session planner MCP server
Your keys. Your identity. Unstoppable. -- Seed-phrase password manager with AI agent gateway.
A curated collection of agents, skills, and settings that supercharge Claude Code. Drop them into their local Claude Cod
Local-first MCP tool that converts PDFs into polished standalone card-based HTML readers