Cursor インストールガイド
開発者向け MCP サーバーとよく使われる 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
A high-performance Markdown parser and renderer for Angular, React, Svelte, Vue, HTML and ANSI.
Jolt is a zkVM (zero-knowledge virtual machine) for RISC-V, built to be the simplest, fastest, and most extensible general-purpose of its kind.
The main branch is under active development for . The stable releases are maintained in the v0.x branch. The documentation for Rslib v1 is available at v1.rslib.rs.
The autonomous research agent that beats Claude Code and Codex by 2.5× on the same compute budget
ThingLinks is an enterprise-grade built on Spring Cloud microservices architecture. It delivers device connectivity, supporting on a single node with plugin-based extensibility and multi-protocol...
Blossom Carousel is the first carousel library that builds on native browser scrolling instead of replacing it.
This repository provides technical guidance for users and developers using Amazon EC2 instances powered by AWS Graviton processors (including the latest generation Graviton5 processors).
Screenshot testing is key to validate your app's appearance and functionality. It efficiently detects visual issues and tests the app as users would use it, making it easier to spot problems.
基于 Vant 设计语言，为小程序与 H5 提供一致、类型安全且高度可定制的开发体验。
remocn is a copy-paste component library for building videos in Remotion. Instead of writing every fade, wipe, and kinetic title from scratch, you npx shadcn add a polished primitive into your...
Fast, AI-ready, and zero-config. Free and open source, forever.
欢迎来到阿里云大模型ACP高级工程师认证课程，这是阿里云大模型认证的进阶篇。在开始课程之前，先来了解阿里云大模型认证的体系架构，方便你选择适合自己定位的课程。 阿里云大模型认证体系架构：