Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
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
https://github.com/user-attachments/assets/023c0a9c-194a-45a9-bb88-ac8f16f5ffd5
Screenshot testing is key to validate your app's appearance and functionality. It efficiently detects visual issues and tests the app as users would use it, making it easier to spot problems.
Built by DeepSeek, for DeepSeek. An AI coding agent that flows through your codebase like a tide. The name: DeepSeek + tide (terminal IDE).
山音超级编剧大师 - 全格式影视编剧 Skill 由 @山音 设计的自然语言驱动编剧 Agent Skill 覆盖 1-3 分钟概念超短片→90 分钟电影长片→多集剧集的全流程剧本创作，一站式搞定人物、大纲、场景、剧本全链路
for quasi-experimental designs in Python.