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
An interactive five-chapter night walk through a Kyoto mountain temple, rendered live in Three.js.
Github开源项目:每月📈飙升榜 top30,每月1号早上8点更新
📚 Check out the comprehensive docs with detailed guides, examples, and best practices!
is an API-first Ruby web framework that combines the developer experience of Rails with fiber-based concurrency.
[placeholder: animated GIF showing the full pipeline — paper fetch → parsing → ambiguity audit → code generation → walkthrough notebook]
AI 短剧/漫剧创作 skill 合集，覆盖剧本、资产、分镜、图片/视频提示词到独立审查全链路，适配 Claude Code 与 Codex。| An AI short-drama skill suite for Claude Code & Codex: scripts, assets, storyboards, image/video prompts, and independent...
A CLI written in Go language that writes git commit messages or do a code review brief for you using ChatGPT AI (gpt-4.1, gpt-4o model) and automatically installs a git prepare-commit-msg hook.
Your AI skills and agents, finally organized.
— The node schema bundled with n8n-as-code is built against the latest stable release of n8n. Keep your n8n instance up to date for best generation and validation results.
is the open-source, MIT-licensed agent skill powered by the world's first agentic AI user researcher.
Continuous code review for AI coding agents. roborev runs in the background, reviews every commit as agents write code, and surfaces issues in seconds -- before they compound.
When Codex starts feeling heavy after weeks of chats, terminals, logs, worktrees, and project history, this gives you a calm way to inspect what is going on and reduce local drag.