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 better whois and domain intelligence toolkit. Interactive TUI with tabbed views for WHOIS, DNS, mail, SSL/TLS, HTTP headers, SEO analysis, and tech stack detection.
A curated list of papers, projects, and agent skills on using LLMs for vulnerability detection and discovery.
Call your React components like async functions — they resolve with a value.
AI-Powered SSH Client and Remote Operations Workspace SSH, Telnet, Serial, RDP/VNC, SFTP, port forwarding, and lightweight editing in one native workspace. GPU-rendered. Free. No account needed.
react-intl-universal is a React internationalization package developed by Alibaba Group.
A compiler-first reactive JavaScript UI framework. No virtual DOM. Compile-time JSX transforms. Proxy-based stores. Surgical DOM patching.
这不是又一本 Obsidian 教程，而是「AI 时代的知识管理方法论 + 落地工具」：
A collection of on-device AI primitives for React Native with first-class Vercel AI SDK support. Run AI models directly on users' devices for privacy-preserving, low-latency inference without server...
Deep Researcher Agent 24/7 Autonomous Deep Learning Experiment Agent
Agent Skills · Device SDK · EVA CLI · Model Gateway · Edge AI 从一句需求到一个可运行的实时多模态应用，让 AI Agent 参与开发、管理云端资源，并将智能带到每一台设备。
"I am not afraid of storms, for I am learning how to sail my ship." – Louisa May Alcott
Easy AI 让 AI 学习变得真的简单。 一个面向 AI 学习者、开发者和创作者的知识网站。