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
50+ consulting frameworks used by McKinsey, BCG, Bain, and Accenture — packaged as a Claude Code plugin
首次运行时，如果不存在 AiDoc/CodeReview/config.json，会交互式询问审核参数。后续运行自动读取配置。
Toss Tech Design 아티클을 참고해 만든 비공식 스킬 입니다.
Public subprocessors list page: table, update policy, no invented vendors.
Pressure-test research claims with falsifiable evidence plans, adversarial checks, frozen verifiers, and proof ledgers.
(▰˘◡˘▰) - AI Tamagotchi on Raspberry Pi. Agentic life-form with an E-Ink face
Multi-agent Claude Code skill for building apps and stuff
Mirror of https://cave.moxielogic.com/atgreen/secscan-skill
In-app empty states, tooltips, coaches — dismissible, no dark-pattern nags.
Convert PDF books into Skills callable to Claude Code.
Metadata catalog for Claude Code skill source repositories. This repo does clone or mirror upstream skill content; it only tracks source repos from awesome-repo-configs and counts discoverable SKILL.
一个为硬件工程师设计的 IC 数据手册与电路原理图智能阅读技能（Skill），能够解析 PDF 格式的数据手册和原理图，精准回答电气特性、时序参数、引脚定义、寄存器映射、固件接口等技术问题。