Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
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 cross-platform desktop app (Tauri + React) for installing, organizing, updating, and syncing Agent Skills to multiple AI coding tools' global or project-level skills directories.
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.
欢迎来到阿里云大模型ACP高级工程师认证课程，这是阿里云大模型认证的进阶篇。在开始课程之前，先来了解阿里云大模型认证的体系架构，方便你选择适合自己定位的课程。 阿里云大模型认证体系架构：
Fast, AI-ready, and zero-config. Free and open source, forever.
This project is under active development and evolving rapidly. Contributions, feedback, and discussions are warmly welcome.
ThingLinks is an enterprise-grade built on Spring Cloud microservices architecture. It delivers device connectivity, supporting on a single node with plugin-based extensibility and multi-protocol...
A high-performance Markdown parser and renderer for Angular, React, Svelte, Vue, HTML and ANSI.
🌩️ Be like a god to a town of agents. Pause time. Whisper to a soul. Bend the next step. Reset the world — all from a single click.
Visual skill manager for AI agents. Desktop app and TUI.
- 傻瓜操作模式(把txt文件拖到kaf-cli.exe上面自动转换) - 自定义封面 - 支持生成Orly风格的书籍封面 - 自动识别书名和章节(示例中所有用法都会自动识别) - 自动识别字符编码(自动解决中文乱码) - 自定义章节标题识别规则 - 自定义卷的标题识别规则 - 自动给章节正文生成加粗居中的标题 - 卷名使用精美的双线边框样式 - 章节序号和标题分离显示（可选） - 自定义...
Built by DeepSeek, for DeepSeek. An AI coding agent that flows through your codebase like a tide. The name: DeepSeek + tide (terminal IDE).
remocn is a copy-paste component library for building videos in Remotion. Instead of writing every fade, wipe, and kinetic title from scratch, you npx shadcn add a polished primitive into your...