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

Deep Researcher Agent 24/7 Autonomous Deep Learning Experiment Agent

critique Beautiful diff viewer for terminals, web previews, and agents.

SerpApi : Search API that makes it easy and fast to scrape Google and other search engines.

DeepSeek Harness橙皮书《从开机到拆开》:完整系统提示词、129行启动清单、三份原始会话日志——官方文档没有的一手实测。PDF/EPUB/HTML免费下载

Call your React components like async functions — they resolve with a value.

A curated list of papers, projects, and agent skills on using LLMs for vulnerability detection and discovery.

:mortar_board: → Explore all DeepLearning.AI courses — taught by the people building the future of AI. Find your next one. :computer: → Browse the DeepLearning.

Never lose a brilliant solution, code snippet, or architectural decision again. SpecStory captures, indexes, and makes searchable every interaction you have with AI coding assistants across all your...

A better whois and domain intelligence toolkit. Interactive TUI with tabbed views for WHOIS, DNS, mail, SSL/TLS, HTTP headers, SEO analysis, and tech stack detection.

🇮🇷 Persian Tools — The Complete TypeScript Toolkit for Persian (Farsi) Apps A comprehensive, library-agnostic TypeScript toolkit for Persian (Farsi) text, numbers, validation, and locale utilities...

zvm (Zig Version Manager) lets you easily install/upgrade between different versions of Zig.

Large Language Models (LLMs) have rapidly evolved into powerful general-purpose reasoning and generation engines.