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.
The MCP Code Executor is an MCP server that allows LLMs to execute Python code within a specified Python environment.
MCP server that implements Claude Code's agent teams protocol for any MCP client.
iida-mcp 是一个 IDA Pro 插件，通过本地 HTTP MCP 服务暴露当前 IDB 的静态分析能力。
Superhuman Mail MCP Server
An MCP server that slurps data from Google News and Google Trends RSS endpoints, optionally distills it with LLM/NLP, and barfs out structured results.
MCP Client as Agent Strategy Plugin with Computer Using Agent (UI-TARS-SDK) support. Dify is not MCP Server but MCP Host.
— DSGVO, BFSG Barrierefreiheit und Einwilligungs-Widerruf. Auf Basis echter Gesetzestexte via rechtsinformationen.bund.de MCP.
Claude Code skills that let Claude interact with Web of Science (WoS) through Chrome DevTools MCP.
小红书自动评论工具（MCP Server） 这是一款基于 Playwright 开发的小红书自动搜索和评论工具，作为 MCP Server，可通过特定配置接入 MCP Client，帮助用户自动完成登录小红书、搜索关键词、获取笔记内容及发布智能评论等操作。
Arm's MCP server
kiro SPEC mode impl by mcp
Agent Skills
Ti*k*Z is a wonderful awesome graph drawing package for TeX/LaTeX/ConTeXt. Unlike other TeX packages, TikZ itself is really huge, its manual contains about 1100+ pages, 100+ chapters.
⚡ PowerGrid generates modern, powerful and easy-to-customize data tables using Laravel Livewire.
Adala is an **utonomous **ta (**abeling) **gent framework.
Beautiful UI components built for Better Auth.
Shiny for Python is the best way to build fast, beautiful web applications in Python. You can build quickly with Shiny and create simple interactive visualizations and prototype applications in an...
One Python API: store media, run models, index embeddings, serve endpoints, and version everything in a single system instead of gluing together blob storage, a vector DB, an orchestrator, and edge...
A collection of Pi Coding Agent customized instances. Why? To showcase what it looks like to hedge against the leader in the agentic coding market, Claude Code.
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.
For more advanced capabilities and end-to-end machine learning, visit www.k-dense.ai.
is the open-source, MIT-licensed agent skill powered by the world's first agentic AI user researcher.
— 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.