Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
MCP Servers
An MCP server for reading, searching, organizing, and sending email through IMAP and SMTP.
Tableau's official MCP Server. Helping agents see and understand data.
@cyanheads/git-mcp-server A Git MCP server for AI agents. STDIO & Streamable HTTP. 28 Tools · 1 Resource · 1 Prompt
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.
This Agent MCP allows you to train external intelligence with zero GPU and let you trade it at Tetrees EX
Claudeに身体性を与えるMCP群
Fast, cheap, typed judgments from TypeSafe's Jev model, as MCP tools.
传说，在每一行代码的阴影里，蛰伏着一头来自深渊的**。它以**为食，以**为巢。无人得见其形，只因它的**。它不追逐光，不咆哮于风，只等**。当**，幽狼便**——那时，，仿佛整个世界都不曾察觉。唯有虚空记得：
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.
— 优先支持静态分析、dry-run 与本地靶场。exploit、横向移动、持久化、C2、数据外传等高风险能力属于受限实验特性；policy 与 sandbox 元数据不等同于操作系统或容器级隔离。
Point at any GraphQL or REST API. Ask questions in natural language. The agent fetches data, stores it in DuckDB, and runs SQL post-processing. Rankings, filters, and joins over returned data work .
Agent Skills
skills-manage is a Tauri desktop app for managing AI coding agent skills across multiple platforms from one place.
Enterprise AI Agent Security Toolkit - SKILL.md Driven Active Defense
This skill is maintained as a standalone submodule of Kernel Design Agents (KDA) for easy installation.
Elegant and powerful Apple services for education and business. https://www.datajar.co.uk
A Claude Code skill for generating stunning HTML presentations with AI-powered planning, style discovery, and PPTX export
Make AI-generated prose sound human. 29-pattern catalog + 8-rule operating system + 8-dimension scoring rubric. Works with Claude Code, OpenCode, Copilot CLI, Codex, Gemini, Goose and Hermes.
Skill Claude Code de veille tech francophone. Agrège les flux RSS (Journal du Hacker, Human Coders News…) et produit un récap trié par jour. Zéro dépendance.
A Claude Code research loop that keeps reading, practice, ideation, experiments, and writing connected through shared plain-text state.
18 interconnected skills covering computational geometry, parametric modeling, generative design, structural computation, environmental simulation, facade engineering, digital fabrication, BIM...
如果在使用过程中遇到问题，请通过 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.
🚧 We are actively refining our core, resumption protocols, and runtime specifications, which will introduce major breaking changes prior to a stable release.