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
这不是又一本 Obsidian 教程，而是「AI 时代的知识管理方法论 + 落地工具」：
SerpApi : Search API that makes it easy and fast to scrape Google and other search engines.
Deep Researcher Agent 24/7 Autonomous Deep Learning Experiment Agent
Never lose a brilliant solution, code snippet, or architectural decision again. SpecStory captures, indexes, and makes searchable every interaction you have with AI coding assistants across all your...
Unhead is a document head and template manager, improving reactive SSR JavaScript framework developer experience, SEO and performance. See the full introduction to Unhead.
Create and manage TanStack Router and Start applications.
is a complete rewrite of LuaN1aoAgent, built on TypeScript and the Pi SDK for autonomous, authorized security research.
A compiler-first reactive JavaScript UI framework. No virtual DOM. Compile-time JSX transforms. Proxy-based stores. Surgical DOM patching.
Call your React components like async functions — they resolve with a value.
Diagnostics is a library written in Swift which makes it really easy to share Diagnostics Reports to your support team.
"I am not afraid of storms, for I am learning how to sail my ship." – Louisa May Alcott
A curated list of papers, projects, and agent skills on using LLMs for vulnerability detection and discovery.