Cursor 安装指南
常与开发类 MCP Server 搭配使用的 AI 代码编辑器。
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
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.
Get your animations easily done with only Tailwind CSS classes.
is an API-first Ruby web framework that combines the developer experience of Rails with fiber-based concurrency.
Your AI skills and agents, finally organized.
A collection of AI agent skills focused on resume optimization, job applications, and career development.
SkillsBench evaluates how well skills work and how effective agents are at using them.
本仓库目前继续保持公开访问，暂不归档或删除，但已停止功能与兼容性更新。后续开发、版本发布和问题修复均已迁移至 。建议所有新老用户下载并使用新项目。 项目主页 / Project home · 最新版本下载 / Latest release This repository remains publicly accessible and is not being archived or...
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.
A compiler-first reactive JavaScript UI framework. No virtual DOM. Compile-time JSX transforms. Proxy-based stores. Surgical DOM patching.
A curated list of papers, projects, and agent skills on using LLMs for vulnerability detection and discovery.
🇮🇷 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...
:mortar_board: → Explore all DeepLearning.AI courses — taught by the people building the future of AI. Find your next one. :computer: → Browse the DeepLearning.