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
本仓库目前继续保持公开访问，暂不归档或删除，但已停止功能与兼容性更新。后续开发、版本发布和问题修复均已迁移至 。建议所有新老用户下载并使用新项目。 项目主页 / Project home · 最新版本下载 / Latest release This repository remains publicly accessible and is not being archived or...
:mortar_board: → Explore all DeepLearning.AI courses — taught by the people building the future of AI. Find your next one. :computer: → Browse the DeepLearning.
A collection of on-device AI primitives for React Native with first-class Vercel AI SDK support. Run AI models directly on users' devices for privacy-preserving, low-latency inference without server...
Derived from the GAAC (GitHub-as-a-Context) project.
Agent Skills · Device SDK · EVA CLI · Model Gateway · Edge AI 从一句需求到一个可运行的实时多模态应用，让 AI Agent 参与开发、管理云端资源，并将智能带到每一台设备。
critique Beautiful diff viewer for terminals, web previews, and agents.
Practical AI agent skills for social media research, powered by ScrapeCreators.
AI-Powered SSH Client and Remote Operations Workspace SSH, Telnet, Serial, RDP/VNC, SFTP, port forwarding, and lightweight editing in one native workspace. GPU-rendered. Free. No account needed.
react-intl-universal is a React internationalization package developed by Alibaba Group.
Steno is the privacy-first AI notepad for all your confidential conversations. No cloud, no usage limits and your private data never leaves your premises.
Easy AI 让 AI 学习变得真的简单。 一个面向 AI 学习者、开发者和创作者的知识网站。
Zog is a schema builder for runtime value parsing and validation. Define a schema, transform a value to match, assert the shape of an existing value, or both.