Claude Desktop 설치 가이드
로컬 MCP 설정을 지원하는 데스크톱 클라이언트.
MCP Servers
MCP server that gives LLMs access to formal verification via Z3 (SMT solver) and SWI-Prolog (via prolog-wasm-full, includes library(clpfd)), plus tree-sitter-based source code analysis.
AI-native SwiftUI component library with full-stack recipes — connect via MCP for instant access.
— codebase-memory-mcp-pro is a community fork of (MIT License, © 2025 DeusData), maintained by @win4r.
MCP server that implements Claude Code's agent teams protocol for any MCP client.
Open-source meeting transcription API for Google Meet, Microsoft Teams & Zoom. Auto-join bots, real-time WebSocket transcripts, MCP server for AI agents. Self-host or use hosted SaaS.
The MCP Code Executor is an MCP server that allows LLMs to execute Python code within a specified Python environment.
iida-mcp 是一个 IDA Pro 插件，通过本地 HTTP MCP 服务暴露当前 IDB 的静态分析能力。
Demo only. Actual searches run by default (no visible browser). Set SURF_HEADLESS=false to make Chrome visible like in the clip above.
— 优先支持静态分析、dry-run 与本地靶场。exploit、横向移动、持久化、C2、数据外传等高风险能力属于受限实验特性；policy 与 sandbox 元数据不等同于操作系统或容器级隔离。
- Fully support all features and syntax of ECharts, include data, style, theme and so on. - Support exporting to png, svg, and option formats, with validation for ECharts to facilitate the model's...
AI-native GPU frame debugging for RenderDoc English | 简体中文
Point at any GraphQL or REST API. Ask questions in natural language. The agent fetches data, stores it in DuckDB, and runs SQL post-processing. Rankings, filters, and joins over returned data work .
Agent Skills
Intelligent web scraping with automatic strategy selection and TypeScript-first Apify Actor development.
Run task-specific agents on different AI coding backends from one parent tool.
Website - Documentation - Talk to someone at Arthur
paper-radar What 28 AI labs published on arXiv, over any date range
Story-first presentation production for AI agents.
AI-powered bug bounty hunting toolkit that works with or without subscription.
This is an MCP server to allow LLMs to interact with a running Prometheus instance via the API to do things like generate and execute promql queries, list and analyze metrics, etc.
A Flutter agent skill and toolchain that produces a : every route as a card with a real screenshot, runtime state variants such as sheets and dialogs, navigation edges between screens, and replayable...
[apache-badge]: https://img.shields.io/badge/license-Apache%20License%202.0-blue [apache-url]: https://github.com/informalsystems/quint-connect/blob/main/LICENSE
yoooclaw is a standalone CLI — — built for both humans and AI agents. It receives phone notifications locally, manages the Relay tunnel, handles recording ASR and light-effect rule evaluation,...
A Codex skill for turning rough brand ideas into professional image-first identity systems, VI guidelines, and editable HTML brand manuals.
— L1/L2 dual-mode supervision, MCP tool integration, session checkpoints, and 217+ round verified stability. One-click Windows install, zero dependencies.