"A resource for solving equations" matching MCP servers:

提供全球238个国家/地区的进出口贸易数据查询，支持按企业名称、产品关键字、HS编码等多维度联合搜索。

Enables AI clients to scan for and connect to compatible BLE devices, control suction, vibration, linear, and rotary outputs, and safely stop or disconnect through MCP tools.

Pay-per-call USDC payment proxy for AI agents. Issue scoped Pay Tokens with hard spending caps and auto-journal every charge to freee / Money Forward / QuickBooks.

A lightweight MCP server that serves a curated collection of cat jokes to LLM clients, supporting tools for random jokes by category, search, and resource access.

Enables conversational access to public transportation data, currently via a read-only Swiss stop-search demo and a capabilities resource.

Gives LLM agents spatial awareness inside Autodesk Maya, enabling scene inspection and measurement, aesthetic and engineering audits, camera planning, checkpoint/rollback safety, asset import, and viewport or render previews. Agents can also execute arbitrary Python in Maya to build and verify 3D scenes against engineering rules instead of writing blind.

AI visibility and SEO data for AI agents. Check whether ChatGPT, Claude, Perplexity and Gemini mention your brand and which sources they cite, plus keyword volume and Google Trends.

A Model Context Protocol (MCP) server that exposes the EasyDeploy public REST API as tools for Claude, Cursor, Claude Code, and other MCP clients.

MCP server exposing Z3 solver API for creating variables, adding constraints, and solving SMT problems with optimization support.

Enables LLM agents to typecheck Narya files and develop proofs interactively by loading files into live sessions, inspecting and solving holes, searching for lemmas, and replaying edits.

MCP server that bridges Ableton Live with AI models, enabling real-time project inspection and control such as track overview, device parameters, and audio analysis.

Enables LLMs to interact with Kibana through composable toolboxes for building dashboards, managing data, and handling alerts, among other operations.

Enables MCP clients to search a Zotero library, read items, take notes, organize collections, and perform semantic search over PDFs.

Enables AI coding agents to discover and verify current open-source libraries and models using live GitHub activity, PyPI adoption, license checks, and hardware VRAM estimates before generating code.

Stores and manages expenses in SQLite. Enables adding, removing, and listing expenses with filtering, and exposes expense categories via a resource.

A growing collection of MCP tools for Android Development. Currently features a deterministic Figma-SVG-to-Android-XML converter, with plans for Gradle analysis, Resource management, and ADB integration tools.

RunAPI MCP server for the Imagen 4 model line. Create tasks, poll their status, and check pricing through a single RunAPI API key.

A lightweight MCP server for recording, browsing, and summarizing expenses locally using SQLite, with a customizable categories resource.

RunAPI MCP server for the Flux 2 model line. Create tasks, poll their status, and check pricing through a single RunAPI API key.

Provides A-share (Chinese stock market) quantitative analysis through tools for stock screening, northbound capital flow tracking, dragon-tiger list analysis, margin trading, sector analysis, technical indicators, IPO info, and limit-up/down statistics using akshare data.

Provides a local-first, governed MCP foundation where QA engineers can check server health and capabilities, read a status resource, use an orientation prompt, and validate non-secret configuration, profiles, and credential references without exposing secrets. External provider integrations, test execution, and release reporting are not yet implemented and remain scaffolded.

MCP server for Veo 3.1 video generation models, enabling task creation (extend, text-to-video, upscale), status polling, and pricing checks via RunAPI.

Enables recording and analyzing personal expenses locally in a SQLite database, with tools for adding expenses, listing them by date range, summarizing spending by category, and accessing a categories resource.

Enables LLM agents to automate web browsers with token-efficient perception, stealth anti-detection, captcha solving, network interception, and isolated persistent sessions.

Enables AI agents to interact seamlessly with Splunk environments through 20+ tools for search, analytics, data discovery, administration, and health monitoring. Features AI-powered troubleshooting workflows and supports multiple Splunk instances with production-ready security.

Enables access to Moz API to retrieve Domain Authority, Page Authority, external URLs, and Spam Score metrics for website analysis.

Enables users to add, list, and summarize expenses, and exposes expense categories as a resource.

MCP server for Smartsheet Resource Management (10,000ft API). It enables AI agents to orchestrate time tracking, resource scheduling, projects, leaves, expenses, and custom fields.

Enables creating and editing PowerPoint .pptx files without corruption, with native editable SVG shapes, glued connectors, table surgery, threaded comments, live editing, and a comprehensive 138-tool MCP server surface.

Enables AI agents to perform comprehensive Excel workbook operations with verified, freshness-labeled values and structural edits that preserve formulas, tables, and references, optionally using a private Excel instance for real recalculation and export.