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

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.

MCP server for interacting with the Aseprite API

Agentic AI for everyone. No API key. No credit card. Just pip install .

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

Claudeに身体性を与えるMCP群

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.

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.

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

- Fully support all features and syntax of ECharts, include data, style, theme and so on. - Support exporting to png, svg, and option formats, with validation for ECharts to facilitate the model's...

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...

AsDecided keeps requirements, decisions, designs, roadmaps, and prompts as typed Markdown in your repository.

Open ChatGPT in your browser and manage multiple computers and servers from one conversation. Write code, change configuration, run commands, and deploy in the real environment where the work...
Agent Skills

Beautiful UI components built for Better Auth.

Adala is an **utonomous **ta (**abeling) **gent framework.

Your AI skills and agents, finally organized.

— The node schema bundled with n8n-as-code is built against the latest stable release of n8n. Keep your n8n instance up to date for best generation and validation results.

Beautiful React Native components. One command away.

is the open-source, MIT-licensed agent skill powered by the world's first agentic AI user researcher.

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

A collection of AI agent skills focused on resume optimization, job applications, and career development.

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

SkillsBench evaluates how well skills work and how effective agents are at using them.

Continuous code review for AI coding agents. roborev runs in the background, reviews every commit as agents write code, and surfaces issues in seconds -- before they compound.

The main repository for libraries used to build applications on the Atsign Platform. Three categories: SDKs, libraries, and Flutter widgets.