Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
MCP Servers

iida-mcp 是一个 IDA Pro 插件,通过本地 HTTP MCP 服务暴露当前 IDB 的静态分析能力。

AI-native SwiftUI component library with full-stack recipes — connect via MCP for instant access.

MCP server + embedded terminal that lets Claude Code see and edit your ComfyUI workflows

a coding Agent, rpc plugin, sub-agents, hashline edits, and mcp

Automated deep malware reverse engineering driven by AI agents. A Kali-based Docker environment pairs 50+ RE tools with MCP-connected disassembler backends (Binary Ninja or Ghidra) and a structured...

Tableau's official MCP Server. Helping agents see and understand data.

传说,在每一行代码的阴影里,蛰伏着一头来自深渊的**。它以**为食,以**为巢。无人得见其形,只因它的**。它不追逐光,不咆哮于风,只等**。当**,幽狼便**——那时,,仿佛整个世界都不曾察觉。唯有虚空记得:

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.

An MCP server for reading, searching, organizing, and sending email through IMAP and SMTP.

A remote MCP server for SubmitMap, a directory of product launch platforms and startup directories.

Demo only. Actual searches run by default (no visible browser). Set SURF_HEADLESS=false to make Chrome visible like in the clip above.

Fast, cheap, typed judgments from TypeSafe's Jev model, as MCP tools.
Agent Skills

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.

Beautiful UI components built for Better Auth.

Github开源项目:每月📈飙升榜 top30,每月1号早上8点更新

![npm version][npm-version-href] ![npm downloads][npm-downloads-href] ![License][license-href] ![Nuxt][nuxt-href]

A 🇨🇳 and 🇺🇸🇬🇧 translator in your command line, powered by iciba, youdao and LLM.

A CLI written in Go language that writes git commit messages or do a code review brief for you using ChatGPT AI (gpt-4.1, gpt-4o model) and automatically installs a git prepare-commit-msg hook.

For more advanced capabilities and end-to-end machine learning, visit www.k-dense.ai.

本项目是基于吴恩达老师在 DeepLearning.AI 平台推出的 agent-skills-with-anthropic 系列课程的中文学习资料整理项目。我们致力于为中文学习者提供高质量的课程内容翻译、系统的知识点梳理以及详细的示例代码解读,帮助大家更轻松地掌握 Agent Skills。

Model export recipes, Python primitives, and Swift runtime utilities for building on-device AI with Core AI.

upfetch is an advanced fetch client builder with standard schema validation, automatic response parsing, smart defaults and more.

Your AI skills and agents, finally organized.

A collection of Pi Coding Agent customized instances. Why? To showcase what it looks like to hedge against the leader in the agentic coding market, Claude Code.