Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
MCP Servers
Lean Theorem Prover MCP
MCP Server for Adobe After Effects. Enables remote control (compositions, text, shapes, solids, properties) via the Model Context Protocol using ExtendScript.
AI-powered travel hacking with points, miles, and award flights. Drop-in skills and MCP servers for OpenCode, Claude Code, and Codex.
A Model Context Protocol (MCP) server that provides tools for interacting with Trello boards.
Lightweight MCP server for Spotify
MCP Gateway is an advanced intermediary solution for Model Context Protocol (MCP) servers that centralizes and enhances your AI infrastructure.
MCP server that provides LLMs with tools for interacting with EVM networks
Penpot's official MCP Server
12306 MCP Server 是一个基于 Model Context Protocol (MCP) 的高性能火车票查询后端系统。它通过标准化接口提供官方 12306 的实时数据服务，包括余票查询、车站信息、列车经停站、中转换乘方案等核心功能。
An advanced sequential thinking process using a Multi-Agent System (MAS) built with the Agno framework and served via MCP.
Built with Telethon, this server allows AI agents to interact with Telegram, enabling features like sending/editing/deleting messages, searching chats, managing drafts, downloading media, and more...
A simple, lightweight and fast MCP (Model Context Protocol) server that provides Solidity development capabilities using the Foundry toolchain (Forge, Cast, and Anvil).
Agent Skills
这不是又一本 Obsidian 教程，而是「AI 时代的知识管理方法论 + 落地工具」：
SerpApi : Search API that makes it easy and fast to scrape Google and other search engines.
Deep Researcher Agent 24/7 Autonomous Deep Learning Experiment Agent
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...
Unhead is a document head and template manager, improving reactive SSR JavaScript framework developer experience, SEO and performance. See the full introduction to Unhead.
Create and manage TanStack Router and Start applications.
is a complete rewrite of LuaN1aoAgent, built on TypeScript and the Pi SDK for autonomous, authorized security research.
A compiler-first reactive JavaScript UI framework. No virtual DOM. Compile-time JSX transforms. Proxy-based stores. Surgical DOM patching.
Call your React components like async functions — they resolve with a value.
Diagnostics is a library written in Swift which makes it really easy to share Diagnostics Reports to your support team.
"I am not afraid of storms, for I am learning how to sail my ship." – Louisa May Alcott
A curated list of papers, projects, and agent skills on using LLMs for vulnerability detection and discovery.