Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
MCP Servers
An MCP server for automated first-order logic reasoning using Prover9, Mace4, and an onboard reasoning LLM.
Provide LLMs hosted, clean markdown documentation of libraries and frameworks
A high-performance, persistent memory system for the Model Context Protocol (MCP) powered by libSQL with optimized text search for LLM context efficiency.
A Model Context Protocol (MCP) server for performing Kafka client operations from AI assistants.
A professional Model Context Protocol (MCP) server for video editing automation. This server enables AI assistants and applications to create and edit videos programmatically through CapCut's...
A Model Context Protocol (MCP) server that allows Claude and other MCP clients to connect to Aider for efficient file editing capabilities.
tmux-mcp-rs is a Model Context Protocol (MCP) server for tmux. It lets MCP clients create sessions, shape windows and panes, run tracked commands, inspect output, manage tmux buffers, and drive...
An MCP server that provides tools for analyzing Instagram engagement metrics, extracting demographic insights, and identifying potential leads from Instagram posts and accounts.
Windows-first local AI-agent runtime and MCP gateway 214 configurable tools for local files, Git, processes, Windows automation, WSL, browser control, indexing, observability, and extensibility; 208...
* 您问AI："我的服务器现在怎么样？" * AI直接查看您的Grafana监控，回答："CPU使用率偏高，建议检查这几个进程..."
let AI pause and wait for user feedback within a single request.
Actual MCP Server is a Model Context Protocol server that connects any MCP-compatible AI assistant (such as LibreChat, LobeChat, Claude Desktop, and more) directly to your self-hosted Actual Budget...
Agent Skills
The MATLAB Agentic Toolkit brings trusted MATLAB capabilities to AI agents, making engineering and scientific workflows agent-ready.
- Extensibles Validation Plugins. - Sync & Async Validation (w/ Promises & automatic errors). - Nested Fields (w/ Serialization & Validation).
Screenshot testing is key to validate your app's appearance and functionality. It efficiently detects visual issues and tests the app as users would use it, making it easier to spot problems.
Large Language Models (LLMs) have rapidly evolved into powerful general-purpose reasoning and generation engines.
山音超级编剧大师 - 全格式影视编剧 Skill 由 @山音 设计的自然语言驱动编剧 Agent Skill 覆盖 1-3 分钟概念超短片→90 分钟电影长片→多集剧集的全流程剧本创作，一站式搞定人物、大纲、场景、剧本全链路
vet supports special mode for Agent Skills. Run vet scan --agent-skill to scan an Agent Skill hosted in a GitHub repository.
Visual skill manager for AI agents. Desktop app and TUI.
基于 Vant 设计语言，为小程序与 H5 提供一致、类型安全且高度可定制的开发体验。
简单说，就是跟 Claude 说一句话，它会帮我从每天的新论文里筛一轮，挑出值得看的，再把重点论文读完、写成 Obsidian 笔记。日常不用记一堆命令，基本就是：
· · · crafted on a 24×24 grid and trusted by 500,000+ developers.
NeMo Gym is a library for evaluating and improving models and agents using environments. NeMo Gym provides infrastructure to develop environments, scalably run evaluation and training, and a...
A collection of Codex/agent skills for planning, documentation access, frontend development, and browser automation.