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
SkillsBench evaluates how well skills work and how effective agents are at using them.
![npm version][npm-version-href] ![npm downloads][npm-downloads-href] ![License][license-href] ![Nuxt][nuxt-href]
For more advanced capabilities and end-to-end machine learning, visit www.k-dense.ai.
A collection of AI agent skills focused on resume optimization, job applications, and career development.
upfetch is an advanced fetch client builder with standard schema validation, automatic response parsing, smart defaults and more.
A collection of Pi Coding Agent customized instances. Why? To showcase what it looks like to hedge against the leader in the agentic coding market, Claude Code.
Website • Getting Started • Documentation • Community
本项目是基于吴恩达老师在 DeepLearning.AI 平台推出的 agent-skills-with-anthropic 系列课程的中文学习资料整理项目。我们致力于为中文学习者提供高质量的课程内容翻译、系统的知识点梳理以及详细的示例代码解读，帮助大家更轻松地掌握 Agent Skills。
KAI Scheduler is a robust, efficient, and scalable Kubernetes scheduler that optimizes GPU resource allocation for AI and machine learning workloads.
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.
An Expo Config Plugin that generates native Apple Targets like Widgets or App Clips, and links them outside the /ios directory.
🇮🇷 Persian Tools — The Complete TypeScript Toolkit for Persian (Farsi) Apps A comprehensive, library-agnostic TypeScript toolkit for Persian (Farsi) text, numbers, validation, and locale utilities...