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.
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使用率偏高，建议检查这几个进程..."
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...
is an AI-native automation framework that enables AI assistants to control Windows systems through natural language commands.
— turn any instance (15 → 19) into an via the . 197+ tools, multi-tenant, (НАП, ДДС, ЕИК) included.
Use the hosted remote MCP server: add https://mcp.webscraping.ai/mcp to your MCP client and sign in with your WebScraping.AI account — OAuth handles auth, no API key or local install needed.
A Model Context Protocol (MCP) server for Bentley STAAD.Pro that like Claude Desktop, Gemini, or VSCode Copilot and perform various time-consuming tasks like load cases definition, data extraction,...
A Model Context Protocol (MCP) server that provides web search capabilities through Google's Custom Search API.
Agent Skills
Boilerplate de skills do Claude Code para projetos Next.js.
基于 Java Spring Boot 的企业级项目开发规范，配套 Claude Code 技能集，实现标准化、自动化的开发流程。
Optimized GitHub skill for coding agents: fewer tool calls, less context burned, lower cost, faster answers. One bounded call each for PR state, review threads, and CI failures.
把 BUAA 课堂回放、课程转写和课次元信息，整理成**的课程学习资料。 它既可以生成单次课程纪要，也可以继续沉淀到 Obsidian，形成长期维护的课程知识库。 如果你属于下面这类人，这个仓库大概率会有用：
出行路书工作流 skill：联网实查 + 多源交叉验证，产出可核验、能执行的旅行攻略。覆盖吃住行游拍避全维度，附美食情报卡、基准骨架与校验工具，支持一键部署在线版。
Claude Code Skills for .NET developers.
✅ AI governance skill for Claude Code | AI 治理框架 | AI ガバナンスフレームワーク — Safety gates, evidence rules, anti-slack
- 🔄 - 从招标文件解析到标书生成，14个步骤全自动执行 - 🏭 - 支持IT/信息化、建筑工程、医疗健康、教育服务、制造业、物流运输、咨询服务等8大行业 - 🤖 - 自动识别招标文件所属行业，生成符合行业特点的专业内容 - 📈 - 遇到新行业时自动创建行业指南，逐步完善知识库 - 📄 - 支持PDF、DOCX、DOC、TXT、XLSX格式的招标文件 - 📊 -...
A Codex-style /goal command for Claude Code.
通过自然语言告诉 AI 你想做什么视频，它帮你完成从写文案、配音、加字幕、选音乐、上特效到最终导出的整套流程。
- - 扫描已安装技能，检查可用更新 - - 市场更新后自动重新安装受影响的技能 - - 从 skills.sh 发现热门技能 - - 自动检测语言环境（中文/英文）
A skill that helps you get a peer review on your manuscripts in preparation. Upload a manuscript (or paste an abstract), and it runs targeted Consensus searches to check whether the background claims...