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
- 傻瓜操作模式(把txt文件拖到kaf-cli.exe上面自动转换) - 自定义封面 - 支持生成Orly风格的书籍封面 - 自动识别书名和章节(示例中所有用法都会自动识别) - 自动识别字符编码(自动解决中文乱码) - 自定义章节标题识别规则 - 自定义卷的标题识别规则 - 自动给章节正文生成加粗居中的标题 - 卷名使用精美的双线边框样式 - 章节序号和标题分离显示（可选） - 自定义...
A curated list of delightful NoCode / LowCode applications and resources. For more awesomeness, check out awesome.
Your tokens get reset every week, you might as well use them. Nightshift runs overnight to find dead code, doc drift, test gaps, security issues, and 20+ other things silently accumulating while you...
- Extensibles Validation Plugins. - Sync & Async Validation (w/ Promises & automatic errors). - Nested Fields (w/ Serialization & Validation).
欢迎来到阿里云大模型ACP高级工程师认证课程，这是阿里云大模型认证的进阶篇。在开始课程之前，先来了解阿里云大模型认证的体系架构，方便你选择适合自己定位的课程。 阿里云大模型认证体系架构：
Jolt is a zkVM (zero-knowledge virtual machine) for RISC-V, built to be the simplest, fastest, and most extensible general-purpose of its kind.
The official place to start playing the Numerai tournaments.
Foundation Lab is a native iOS and macOS workbench for learning, testing, and shipping with Apple's Foundation Models framework.
vet supports special mode for Agent Skills. Run vet scan --agent-skill to scan an Agent Skill hosted in a GitHub repository.