"A resource for solving equations" matching MCP servers:

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

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 LLMs to interact with Kibana through composable toolboxes for building dashboards, managing data, and handling alerts, among other operations.

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

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

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.

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.

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.

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

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.

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 users to add, list, and summarize expenses, and exposes expense categories as a resource.

Express-based API for Lviv transport timetable data with a read-only MCP endpoint.

One-call Australian weather plumbing for current and historical data — cited responses for practical analysis, not a data broker.

A lightweight MCP server for reading public YouTube data, offering tools to fetch video transcripts, playlist contents, and video metadata without requiring an API key.

An MCP server that reads a file's embedded C2PA Content Credential to report whether it declares AI generation or a real-world capture, and checks whether that declaration's signature still verifies against the file's current bytes.

Generate professional AI-powered presentations from a topic, raw text, or document file. Export to PPTX, PDF, image, or shareable link.