Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
MCP Servers
AI-native GPU frame debugging for RenderDoc English | 简体中文
A remote MCP server for SubmitMap, a directory of product launch platforms and startup directories.
Open a document, select any text, ask a question — and the answer opens as a fully-rendered child document. Follow whatever pulls at you, as deep as it goes. Every hole is saved and revisitable.
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.
A Claude Code skill + MCP server setup for expert-level Meta Ads campaign analysis. Includes the framework, Learning Phase diagnostics, and 9 reference documents from Meta's official documentation.
The MCP Code Executor is an MCP server that allows LLMs to execute Python code within a specified Python environment.
Turn any MCP, OpenAPI, or GraphQL server into a CLI — at runtime, with zero codegen
Each RAG component was sharpened on its own, then folded into one repository: multi-identity auth, observability and systemd supervision come with it.
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.
MCP server for interacting with the Aseprite API
AsDecided keeps requirements, decisions, designs, roadmaps, and prompts as typed Markdown in your repository.
Agent Skills
🚧 We are actively refining our core, resumption protocols, and runtime specifications, which will introduce major breaking changes prior to a stable release.
Develop Swift/iOS projects using VSCode
Sync and store bookmarks locally, manage Field Theory Library and command workflows, and make local context available to Claude Code, Codex, or any agent with shell access.
Generate app icon artwork and Google Play feature graphics from the terminal with OpenAI or Google Gemini.
如果在使用过程中遇到问题，请通过 Issues 反馈功能正确性问题和功能请求，其他问题请通过 Discussions 反馈～
Fill-in-your-own-data framework for YouTube / short-form video automation: CapCut JSON + ffmpeg tooling + an onboarding questionnaire. Ships with zero private data.
VS Code in the terminal
Shiny for Python is the best way to build fast, beautiful web applications in Python. You can build quickly with Shiny and create simple interactive visualizations and prototype applications in an...
One Python API: store media, run models, index embeddings, serve endpoints, and version everything in a single system instead of gluing together blob storage, a vector DB, an orchestrator, and edge...
Beautiful UI components built for Better Auth.
Ti*k*Z is a wonderful awesome graph drawing package for TeX/LaTeX/ConTeXt. Unlike other TeX packages, TikZ itself is really huge, its manual contains about 1100+ pages, 100+ chapters.
⚡ PowerGrid generates modern, powerful and easy-to-customize data tables using Laravel Livewire.