Cursor Руководство установки
AI-редактор кода, часто используемый с developer MCP.
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
这是一个专为 NSFC 申请书撰写设计的 Agent Skills 集合，帮助科研人员提高申请书质量，涵盖写作指导、图表制作、文献管理和政策速查等核心环节。
Inspect and drive a running Flutter app from your AI assistant.
Lean 4 workflow pack for AI coding agents. Gives your agent a structured prove/review/golf loop, mathlib search, axiom checking, and safety guardrails.
Query protocol state, bind and delegate, stake AWP tokens, manage worknets, create governance proposals, vote, and monitor real-time on-chain events — all through natural language.
Ghostwriter 是一个 AI 角色人格库。每个角色都经过深度建模——不只是"性格标签"，而是完整的说话方式、思维方式、用词习惯。你不需要写复杂的 prompt，只需要说一句"切换到 XX"，AI 就自动变成那个人。
UModel (Unified Model) is a vendor-neutral semantic runtime for enterprise AI, data governance, and operational intelligence.
Argus Agent is a memory-first AI agent for long-context personal intelligence, grounded recall, temporal reasoning, quantitative reasoning, and tool use.
A cross-platform desktop app for managing AI agent skills. Browse, install, sync, and edit skills across 16 agents from a single interface.
公众号 / 小红书 / B站 / 知乎： 空格的键盘 ｜ [email protected]
输入一个角色名和作品名，CSP 会完成资料检索、交叉验证、行为蒸馏、质量检查，生成一个带资料日期、来源边界和更新路径的 SKILL.md。
WinDiff is an open-source web-based tool that allows browsing and comparing symbol, type and syscall information of Microsoft Windows binaries across different versions of the operating system.
Skills distilled from the Lab's real work and collaboration practices