75 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
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
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.
@WhatsonyourmindDeterministic decision-intelligence MCP server for AI agents — 17 tools, 21 algorithms (LinUCB, HiGHS LP/MIP, PageRank,
One place to manage & connect to all your MCP servers
One FastMCP server, one port — expose each tool group at its own native MCP URL, so every agent sees only the tools it n
A Model Context Protocol (MCP) server that provides access to multiple Large Language Model (LLM) APIs including ChatGPT
🚀 Fermat MCP: The Ultimate Math Engine - Unifying SymPy, NumPy & Matplotlib in one powerful server! Perfect for devs &
A Model Context Protocol (MCP) server that enables AI assistants to control Keynote presentations through AppleScript au
Behavioral Verification Infrastructure — MCP-native intelligence layer for autonomous software correctness. 17 MCP tools
MCP server giving LLM agents a seven-verb API over papers, documents, code, state, patents, and cached web/Wolfram/YouTu
MCP server for W-2 event staffing across 345 US/CA markets: plan_staffing planner, live rates, availability, compliance,
Offline MCP server that predicts LLM call cost and recommends the cheapest capable model before you call it. No API keys
Agent-ready financial intelligence MCP tools — stock snapshots, company metrics, derived signals
MCP server that exposes PraisonAI tools for Claude Desktop, Cursor, and other MCP clients
Treasury standard for AI agents on Base. MCP server for GBLIN — park idle USDC in cbBTC/WETH index, JIT-swap for x402 pa
An infinite canvas for learning — select text, ask, and answers branch out as documents. MCP server for Claude Code, Cod
Official MCP server for Lobby (lobbyvoices.com) — 8 free, no-auth receptionist tools for AI agents: phone scripts & IVR
The most comprehensive everyday calculator MCP server — 501 tools, 22 categories, 8 countries. Free, no API key.
Chat with your robotics, drone, and IoT data — ChatGPT for the physical world.
Headless, deterministic audio engine for AI agents: compose scores as data, render byte-reproducible PCM offline, then l
AI-powered travel hacking and search with cash, points, miles, and award flights. Drop-in skills and MCP servers for Cla
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
MCP server giving AI agents tools for workforce attendance, overtime, overnight shifts & California wage-and-hour compli
Model Context Protocol servers for the official Robinhood Crypto Trading API — the credentialed brokerage API at trading
Provably correct day-count and accrued-interest calculations.
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
Equity comp tax (ISO/NSO/RSU/QSBS), concentration, and hedging optimizer. MCP server + REST API with federal + 50-state
mcp-occams-razor
Lightweight Long-Term Memory for LLM Agents.
Charted is a zero dependency SVG chart generator that aims to provide a simple interface for generating beautiful and cu
Open-source MCP server for AppFlowy Cloud — let AI agents read, build, and edit your workspace (databases, pages, rows,
205 pay-per-call MCP tools via x402 — no API keys. Stocks, crypto/DeFi, macro data, on-chain analytics, weather, governm
Serveur MCP — Bibliothèque centrale d'outils exécutables pour agents IA Cloud Temple
cf-mcp-server-clerk
Open MCP server for disability insurance: an agent-callable quote_request action plus carrier/coverage research tools, b
MCP server for godot docs