Cursor 安装指南
常与开发类 MCP Server 搭配使用的 AI 代码编辑器。
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
Animation patterns and best practices for Next.js/React applications. Based on Emil Kowalski's "Animations on the Web" course.
Generate app icon artwork and Google Play feature graphics from the terminal with OpenAI or Google Gemini.
VS Code in the terminal
Sync and store bookmarks locally, manage Field Theory Library and command workflows, and make local context available to Claude Code, Codex, or any agent with shell access.
如果在使用过程中遇到问题，请通过 Issues 反馈功能正确性问题和功能请求，其他问题请通过 Discussions 反馈～
🚧 We are actively refining our core, resumption protocols, and runtime specifications, which will introduce major breaking changes prior to a stable release.
Fill-in-your-own-data framework for YouTube / short-form video automation: CapCut JSON + ffmpeg tooling + an onboarding questionnaire. Ships with zero private data.
Develop Swift/iOS projects using VSCode
Adala is an **utonomous **ta (**abeling) **gent framework.
⚡ PowerGrid generates modern, powerful and easy-to-customize data tables using Laravel Livewire.
One Python API: store media, run models, index embeddings, serve endpoints, and version everything in a single system instead of gluing together blob storage, a vector DB, an orchestrator, and edge...
Ti*k*Z is a wonderful awesome graph drawing package for TeX/LaTeX/ConTeXt. Unlike other TeX packages, TikZ itself is really huge, its manual contains about 1100+ pages, 100+ chapters.