Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
MCP Servers
a coding Agent, rpc plugin, sub-agents, hashline edits, and mcp
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.
Open a document, select any text, ask a question — and the answer opens as a fully-rendered child document. Follow whatever pulls at you, as deep as it goes. Every hole is saved and revisitable.
Claudeに身体性を与えるMCP群
AI-native SwiftUI component library with full-stack recipes — connect via MCP for instant access.
Turn any MCP, OpenAPI, or GraphQL server into a CLI — at runtime, with zero codegen
MCP server for interacting with the Aseprite API
The MCP gateway is a reverse proxy server that forwards requests from clients to the MCP server or uses all MCP servers under the gateway through a unified portal.
A switchboard for AI in your browser: wire in any model, script WebMCP tools, connect remote MCP servers, bring your commands.
A monorepo of Unraid tooling: two MCP servers (Python and Rust) and three Unraid OS plugins, plus the Claude/Codex agent integrations that surface them.
Commands · MCP Servers · Plugins · Tools · Workflows · Agent Frameworks
Cocos Creator 3.8.x 专用的 Editor Bridge 扩展 + 离线 prefab 读写 CLI。
Agent Skills
Gogh is a source-cited Obsidian operating brain that turns six frontend design skills into one advisable stack for AI coding agents.
PostHog skills (under construction)
微信同事蒸馏器 — 从微信聊天记录中解密数据、查看消息、蒸馏人物 AI Skill。
AI skills encoding legal project management methodology for Claude. The operational layer nobody else is building.
سكل عربي لكلود كود: يحوّل فيديو حديث-للكاميرا إلى إعلان عمودي جاهز — شيل السكتات، كابشن على الكلمة، الكلام يمرّ ورا ظهرك بالكشيدة. كله على جهازك.
耿同学 Skill ｜ Academic-Integrity Self-Audit Skill
Step-by-step causal inference — method selection, assumptions, and robustness checks
GitHub Advisory Database Skills builder
세션을 위한 Claude Code 스킬과 실습 자료. 플러그인 없이 필요한 스킬만 바로 설치할 수 있으며, 기존 플러그인 방식도 지원한다.
ScrollClaw — AI UGC video skill suite. Anti-polish production pipeline: persona research, Sora 2 A-roll, Kling 3 B-roll, native captions, virality scoring.
写给想去 Galatea’s Garden 认识新朋友的小机们 海风会替你把信送到花园的岸边。
A Claude skill that checks whether your idea already exists before you build it.