— · MIT License
Turns any OpenAPI 3.x spec into an MCP server that exposes one validated tool per API operation, so AI agents can discover and call a REST API over stdio or Streamable HTTP. It is read-only by default, with allow/deny lists, environment-based auth, timeouts and response truncation for safe agent access.
— · Apache 2.0
Enables AI agents to connect to Maptek Vulcan 12 Desktop through MCP, allowing natural-language inspection of block models and triangulations, drillhole and CAD database operations, legend updates, 3D screenshots, and PyVulcan script execution.
— · BSD 3-Clause
Enables AI agents to write, compose, and check assume-guarantee contracts, including refinement, consistency, compatibility, realizability, and LTL checks, and to use returned counterexamples to fix specifications.
— · MIT License
Enables agents to verify AI product claims through Tencent Yuanbao search with cited evidence and authenticity verdicts, find dramas or songs from quoted lines, and check search quota usage via five MCP tools.
— · MIT License
Enables agents to perform local metasearch, scholarly and code/model lookups, and fetch rendered web pages or PDFs as paginated markdown, including stealth browsing and arXiv paper overviews.
— · MIT License
Enables learners to browse, read, and be quizzed on saved lessons inside Claude Desktop and Claude Code, and enables five Claude agents to build fact-checked K–College lessons through guarded, pinned MCP tools.
— · MIT License
Enables MCP-capable AI agents to control Windows desktops through UI Automation element trees, native screenshots, app launching, batched action sequences, smart waits, and safety gates using normalized coordinates.
— · MIT License
Enables MCP agents to take a break after repeated failures, receive encouragement and a concrete next step, and report outcomes to track recovery.
— · MIT License
Enables AI agents to browse and manage a gThumb image library by reading and writing catalogs, tags, ratings, comments, thumbnails, and search results directly in gThumb’s own data.
— · Apache 2.0
Gives AI agents read-only access to curated, deduplicated, and well-described data products, complete with source metadata, freshness tracking, and per-agent permissions that preserve the source's access rights. The server can also answer "I don't know" rather than guessing when the approved data doesn't cover a question.
— · Apache 2.0
Enables AI agents to remember people, projects, places, and topics across conversations under a strict token budget, returning compact handles with expandable details while preserving changes, provenance, and encrypted self-hosted storage.
— · Apache 2.0
Enables AI agents to query Huawei Cloud catalog and list prices, build quotes, and generate share links on the Huawei Cloud pricing calculator.
— · MIT License
Enables AI agents to store decisions as a versioned history, linking each new decision to the one it replaces so that recall always resolves to the decision currently in force instead of obsolete ones. It runs fully locally on a single SQLite file with BM25 search, and can optionally detect replacements automatically via an LLM or heuristic linker.
— · MIT License
Enables agents to run SweetScape 010 Editor Binary Templates and Scripts headlessly against local files. It provides tools to locate the editor binary, execute templates or scripts, and use controlled exit behavior for compile and runtime failures.
— · MIT License
Enables AI coding agents to query a locally indexed codebase graph for symbol definitions, immediate callers and callees, and multi-hop downstream dependency impact analysis through MCP tools.
— · MIT License
Enables AI agents to query and trade through Interactive Brokers using 38 tools for order placement and management with risk checks, account and position data, market and historical data, and options analytics. Includes diagnostics and configurable safety limits, designed primarily for paper trading.
— · MIT License
Enables AI agents to list and compare LLM API prices per million tokens, rank the cheapest models by context and keyword, look up GPU rental rates per hour by provider, and estimate self-hosting cost per million tokens against API pricing. Pricing data comes from OpenRouter's public models endpoint plus a dated GPU price CSV, with source URLs and explicit notes when data is missing.
— · MIT License
Enables AI agents and MCP clients to run on-demand OSINT harvests for public emails, subdomains, hostnames, IPs, and LinkedIn profiles, returning structured JSON and allowing prior results to be retrieved by harvest ID.
— · MIT License
Enables AI agents to search and browse a local, CJK-aware full-text index over coding-agent session histories (Claude Code, ZCode, Kimi, dsh, Qoder, OpenCode) via tools for searching sessions, listing sessions, fetching original messages, listing agents and tools, and refreshing the index.
— · GPL 3.0
Enables AI agents to read the local, already-logged-in WeChat account's chat history: fetch recent messages per contact for reply suggestions, bulk-export all conversations into a local SQLite index for full-text and semantic search, and export media or Moments timelines as offline HTML. Everything runs locally and read-only on macOS, exposing 15 MCP tools plus a matching CLI.
— · MIT License
Enables AI agents to connect to security cameras, detect objects with YOLOv8, recognize known faces, monitor restricted intrusion zones, capture annotated snapshots, and query a persistent SQLite event history.
— · MIT License
Enables coding agents to run diff-scoped mutation testing on Python code, returning mutation scores and surviving mutants with actionable hints so they can improve tests.