Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
MCP Servers
Lean Theorem Prover MCP
An MCP for WireShark (tshark). Empower LLM's with realtime network traffic analysis capability
Local-first Apple Health MCP server. Lets AI assistants answer questions about your sleep, workouts, activity and heart data from a local export.
Things.app MCP Server
📖 Docs · ⭐ Star us · memtrace.io · npm · Discord
The Anytype MCP Server is a Model Context Protocol (MCP) server enabling AI assistants to seamlessly interact with Anytype's API through natural language.
MCP server for Coolify — 42 optimized tools for managing self-hosted PaaS through AI assistants
162 MCP tools for AI-powered Godot 4 development. Scene, animation, 3D, physics, particles, audio, shader, input simulation, runtime analysis, navigation, testing & more. $15 one-time.
This MCP server provides browser automation capabilities through Puppeteer, allowing interaction with both new browser instances and existing Chrome windows.
WordPress plugin that turns Elementor & WordPress into an MCP server. 200+ AI-ready tools for building, editing, and managing page designs programmatically.
An MCP for Godot that lets you create and edit games in the Godot game engine with tools like Claude
Local codebase intelligence CLI + MCP server for AI coding agents: SQLite code graph, 28 languages, 287 commands, 246 MCP tools, change-safety gates, audit evidence, zero API keys.
Agent Skills
SerpApi : Search API that makes it easy and fast to scrape Google and other search engines.
critique Beautiful diff viewer for terminals, web previews, and agents.
An Expo Config Plugin that generates native Apple Targets like Widgets or App Clips, and links them outside the /ios directory.
本仓库目前继续保持公开访问，暂不归档或删除，但已停止功能与兼容性更新。后续开发、版本发布和问题修复均已迁移至 。建议所有新老用户下载并使用新项目。 项目主页 / Project home · 最新版本下载 / Latest release This repository remains publicly accessible and is not being archived or...
Derived from the GAAC (GitHub-as-a-Context) project.
is a complete rewrite of LuaN1aoAgent, built on TypeScript and the Pi SDK for autonomous, authorized security research.
DeepSeek Harness橙皮书《从开机到拆开》：完整系统提示词、129行启动清单、三份原始会话日志——官方文档没有的一手实测。PDF/EPUB/HTML免费下载
Create and manage TanStack Router and Start applications.
Call your React components like async functions — they resolve with a value.
Practical AI agent skills for social media research, powered by ScrapeCreators.
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.