Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
MCP Servers
Lean Theorem Prover MCP
Spec-Driven Development MCP Server, not just Vibe Coding
Enable AI agents to work reliably - giving them secure access to structured data, tools to take action, and the context needed to make smart decisions.
The Official Model Context Protocol (MCP) server for Kagi Search & other tools.
A hands-on workshop, presented at AI Engineering Conference Europe, building a multi-agent AI system with two MCP servers: a and a . Both connected to a harness like Claude Code or Cursor.
TDA - Thread Dump Analyzer (for Java). Analyze your Thread Dumps with a GUI or use it as MCP Server.
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.
MCP server exposing SSH control for Linux servers via Model Context Protocol.
一款支持godot开源引擎的的mcp插件，支持常见godot引擎操作，一键配置服务。This is an MCP plugin that supports the Godot open-source engine, offering support for common Godot engine operations and one-click service configuration.
Search Airbnb using your AI Agent
MCP servers for the UniFi suite of applications, Network, Protect, Access, and Drive
Agent Skills
grill-for-unknowns combines docs/source-grounded plan interrogation with the “finding your unknowns” strategy: known knowns, known unknowns, unknown knowns, and unknown unknowns.
给 Codex CLI 加上深度调研、图片生成、浏览器调试等能力，配好多模型切换，开箱即用。
archscribe 是一个 Codex / Claude 技能 + 本地渲染器,用于生成高级感的手绘技术图:手绘字体、可编辑的 Excalidraw 源文件、静态 PNG 预览,以及真正会动的 GIF。
If you're a technical founder pouring your own money, your nights, and your weekends into something you believe in, with , then this is for you. Especially you.
Turn quantitative finance research — papers, drafts, reports, or strategy ideas — into validated, executable trading strategies. Automatically.
Codex skill that turns a rough coding idea into a Codex /goal-ready contract.
- ❌ ：GPTZero、Originality.ai 等工具检测出 AI 生成痕迹 - ❌ ：知网、维普等平台查重率过高 - ❌ ：语言风格不符合学术规范，逻辑不够严谨 - ❌ ：手动修改效率低，难以追踪优化进度
Скилл для Claude. Убирает 54 признака нейросети в русском тексте: канцелярит, кальки, фингерпринты ChatGPT и Claude. Метит в то, что меряют GPTZero, DivEye, RuBERT: поднимает perplexity и burstiness.
[comment]: <> (Table of contents generated with markdown-toc http://ecotrust-canada.github.io/markdown-toc/)
Give your AI agent skills to connect with Gmail, Slack, HubSpot, Salesforce, GitHub, and 3,000+ other apps.
Build academic conference posters as a single HTML/CSS file, rendered to print-ready PDF via headless Chromium.
A collection of portable skills for AI coding assistants. Works with all major AI clients that support the Agent Skills Standard.