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
"I am not afraid of storms, for I am learning how to sail my ship." – Louisa May Alcott
Easy AI 让 AI 学习变得真的简单。 一个面向 AI 学习者、开发者和创作者的知识网站。
Steno is the privacy-first AI notepad for all your confidential conversations. No cloud, no usage limits and your private data never leaves your premises.
Diagnostics is a library written in Swift which makes it really easy to share Diagnostics Reports to your support team.
Derived from the GAAC (GitHub-as-a-Context) project.
AI-Powered SSH Client and Remote Operations Workspace SSH, Telnet, Serial, RDP/VNC, SFTP, port forwarding, and lightweight editing in one native workspace. GPU-rendered. Free. No account needed.
Create and manage TanStack Router and Start applications.
Practical AI agent skills for social media research, powered by ScrapeCreators.
Zog is a schema builder for runtime value parsing and validation. Define a schema, transform a value to match, assert the shape of an existing value, or both.
Unhead is a document head and template manager, improving reactive SSR JavaScript framework developer experience, SEO and performance. See the full introduction to Unhead.
Deep Researcher Agent 24/7 Autonomous Deep Learning Experiment Agent
SerpApi : Search API that makes it easy and fast to scrape Google and other search engines.