Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
MCP Servers
Solidity static analyzer you can talk to. MCP integration for Claude Code, Cursor, and Windsurf.
An MCP server for Rocq (formerly Coq) proof development. It exposes compilation, verification, querying, and interactive tactic stepping as MCP tools, so that LLM agents can write and check Rocq...
This project provides a modular, resource-oriented FastMCP server for interacting with Microsoft Graph API.
Issue tracking for the agentic coding era. One binary. One SQLite database (plus an attachments dir). MCP built in.
AI assistants are powerful, but they struggle with Kubernetes because:
Universal Memory Protocol (UMP) - an open standard for agent memory. The third interop layer beside MCP (tools) and A2A (coordination).
An MCP server that gives AI assistants direct access to your Help Scout inboxes, conversations, customers, organizations, threads, and Docs knowledge base.
Grok Build plugin for Claude Code, Grok, Codex, Cursor and others. Provides /grok:search, /grok:review, /grok:rescue commands + grok_search MCP tool for live X/web search.
Wavelet-based multi-resolution context management for LLMs via MCP.
Ultimate Telegram Bot API MCP server — full v9.6 coverage, meta-mode, rate limiting, circuit breaker. TypeScript.
Search and memory across your AI coding sessions — one index over Claude Code, Codex, and Pi. Fuzzy-find and resume from the CLI, give agents recall via MCP, and get usage reports.
A Multi Agent Memory MCP That Connect Agents Across Systems and Machines
Agent Skills
上传你和 crush 的聊天记录，AI 模拟 ta 的性格，你在安全沙盒里反复练习——找到真诚又有效的沟通方式。 Upload your chat history with your crush. AI simulates their personality. Practice in a safe sandbox until you find your voice.
让你的 coding agent 的技能,从每一次真实会话里自我进化——你只管写代码。
- 与 是 skill 模式（被支持 Skills 的 IDE 加载执行），仅依赖可读的小程序源码目录 - 是独立的 Node 工程（含 CLI / Web UI），依赖 Node ≥ 18.17
is an open set of skills for the : proven instructions, workflows, and examples that help AI agents work with Spring Boot projects predictably.
🔥 悟道真英雄.skill —— 创建你的A股交易悟道分身，助你在大A英雄逐鹿。不是蒸馏别人，是锻造你自己的交易DNA。截图分析/群聊提取/跨Skill学习/纪律陪伴，持续进化。True heroes fear nothing.
段永平（大道）思维操作系统 Duan Yongping Thinking & Operating System
A skill that helps you get a peer review on your manuscripts in preparation. Upload a manuscript (or paste an abstract), and it runs targeted Consensus searches to check whether the background claims...
多智能体协作，将研究问题转化为专业级研究报告 —— 每一个数据点都经过交叉验证。
Secure multi-platform AI skill installer — scan before you install. 49 agents, 12 plugins, 41 expert skills.
Compile SillyTavern character cards into pi-native interactive narrative runtimes.
Claude Code Skills by Jon Haddad for understanding databases and rapid ai driven software development.
A real-time TUI monitoring dashboard for Hermes Agent.