Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
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
授权 Web 渗透测试 skill。模型自主威胁建模(12 维度),JSON Schema 校验状态文件结构,报告按功能列出测了哪些威胁。
A plugin for consulting distilled personas of colleagues — locally, without involving them. Useful for pressure-testing plans, anticipating pushback, or stress-testing decisions through someone...
A production-ready Office skill system for AI agents to create outputs with a strict workflow:
Turn one coding-agent session into a project manager that delegates tasks to other coding-agent sessions — Claude Code, Codex, or Pi.
- 学生已经有自己的资料 - 希望 AI 基于资料整理知识点、清洗笔记、生成题目、补解析 - 希望题目更贴近真实考试，而不是随机题库风格 - 希望答案解析顺手补“怎么写才能得分”
让 Codex 通过自定义 API 地址和密钥，直接调用 gpt-image-2 生成或编辑图片。
skills 质量检测工具——对已安装的 skills 进行自动化质量评估
Claude Code 学术研究技能合集 — 深度调研 · 论文写作 · 同行评审 · 人物思维蒸馏
A context-aware, opinionated system that understands: - your team - your context - how you run engineering
我们为 2026 马年新春特别制作了 ，包含： - ：黑松露鱼籽酱烤鸭、波士顿龙虾爆年糕 - ：老坛剁椒鱼头、金边鲍鱼煎焗跑山鸡 -
Full-featured Odoo 19 ERP integration for OpenClaw - Sales, CRM, Purchase, Inventory, Projects, HR, Fleet, Manufacturing
Built by a Solana security researcher, for Solana developers — so your code arrives at audit already hardened.