Cursor インストールガイド
開発者向け MCP サーバーとよく使われる 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
股票量化代码，包括通过qmt、同花顺问题和东财api等获取金融数据，以及处理量化这些数据
Develop Swift/iOS projects using VSCode
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.
Adala is an **utonomous **ta (**abeling) **gent framework.
Shiny for Python is the best way to build fast, beautiful web applications in Python. You can build quickly with Shiny and create simple interactive visualizations and prototype applications in an...
⚡ PowerGrid generates modern, powerful and easy-to-customize data tables using Laravel Livewire.
Beautiful UI components built for Better Auth.