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
Blossom Carousel is the first carousel library that builds on native browser scrolling instead of replacing it.
Codex Skill for producing authorized digital-human talking-head videos with MiniMax overseas voice cloning and HeyGen Image-to-Video.
https://github.com/user-attachments/assets/023c0a9c-194a-45a9-bb88-ac8f16f5ffd5
for quasi-experimental designs in Python.
About • How It Works • Documentation • Quickstart • Skills • Templates
Foundation Lab is a native iOS and macOS workbench for learning, testing, and shipping with Apple's Foundation Models framework.
A cross-platform desktop app (Tauri + React) for installing, organizing, updating, and syncing Agent Skills to multiple AI coding tools' global or project-level skills directories.
AI-powered design review for KiCad. Analyzes schematics, PCB layouts, and Gerbers. Catches real bugs before you order boards.
简单说，就是跟 Claude 说一句话，它会帮我从每天的新论文里筛一轮，挑出值得看的，再把重点论文读完、写成 Obsidian 笔记。日常不用记一堆命令，基本就是：
The official place to start playing the Numerai tournaments.
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.
- Extensibles Validation Plugins. - Sync & Async Validation (w/ Promises & automatic errors). - Nested Fields (w/ Serialization & Validation).