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
There are plenty of skills out there. This library avoids slop and only ships skills that:
Azur Lane Resources extracted and parsed by Fernando2603/Azurex
PrediHermes is a Hermes skill for geopolitical market forecasting. It wires together:
A collection of Claude Code skills built and used by AY Automate.
- 📋 从会议记录/需求描述提取结构化需求 - 📝 生成完整的 PRD 文档（Markdown 格式） - 🎨 集成 UI-UX-Pro-Max 设计系统 - 🖥️ 生成单文件 HTML 可交互原型 - 🚀 支持 Cloudflare Pages 一键部署
我们的师兄毕业得太早，早到服务器还没完全学会自己活着，组会也还没学会不挨骂。 大家都很想他，所以决定用一点不太合规但很有感情的技术手段，让他以数字形态继续留在组里，争取常驻“课题组”。
MIT · Codex / Claude Code compatible · Contact: Space
A free AI Skill for writing posts you're proud of with ChatGPT, Cursor, and Claude.
把中国法院的类案裁判方法，编译成 AI 可以调用、普通人也能听懂的法律问答 skills。
Como eu construí uma assistente AI que substituiu 3-4 pessoas em 13 dias — e como você pode fazer o mesmo.
让 AI 助手直接操控你的 Android 手机 —— 支持 Skill 和 MCP 两种接入方式
System pokrywa 16 dziedzin prawa polskiego i unijnego: od routingu sprawy, przez analizę dowodów i strategię procesową, po generowanie pism — z obowiązkową weryfikacją online każdego przepisu i...