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
A 🇨🇳 and 🇺🇸🇬🇧 translator in your command line, powered by iciba, youdao and LLM.
AI 短剧/漫剧创作 skill 合集，覆盖剧本、资产、分镜、图片/视频提示词到独立审查全链路，适配 Claude Code 与 Codex。| An AI short-drama skill suite for Claude Code & Codex: scripts, assets, storyboards, image/video prompts, and independent...
upfetch is an advanced fetch client builder with standard schema validation, automatic response parsing, smart defaults and more.
When Codex starts feeling heavy after weeks of chats, terminals, logs, worktrees, and project history, this gives you a calm way to inspect what is going on and reduce local drag.
A collection of AI agent skills focused on resume optimization, job applications, and career development.
SkillsBench evaluates how well skills work and how effective agents are at using them.
Website • Getting Started • Documentation • Community
KAI Scheduler is a robust, efficient, and scalable Kubernetes scheduler that optimizes GPU resource allocation for AI and machine learning workloads.
📚 Check out the comprehensive docs with detailed guides, examples, and best practices!
Get your animations easily done with only Tailwind CSS classes.
Github开源项目:每月📈飙升榜 top30,每月1号早上8点更新
![npm version][npm-version-href] ![npm downloads][npm-downloads-href] ![License][license-href] ![Nuxt][nuxt-href]