Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
MCP Servers
An MCP server that enables Claude Desktop, Claude Code, Cursor, or other MCP clients to directly access and process arXiv papers by fetching the LaTeX source.
In celebration of getting 52 GitHub stars, mcp-webcam 0.2.0 is here! Now supports streamable-http!! No installation required! - try it now at https://webcam.fast-agent.ai/.
🎲 prediction markets at your fingertips
Manage WordPress sites with natural language through AI tools like Claude Desktop
Connect your Scrivener projects to Claude, ChatGPT, and other AI assistants
通用 AI 搜索 MCP 服务器，支持任何兼容 OpenAI API 格式的 AI 模型进行联网搜索。
MCP server for using the REMnux malware analysis toolkit via AI assistants.
An MCP server that gives AI assistants direct access to your Help Scout inboxes, conversations, customers, organizations, threads, and Docs knowledge base.
This project provides a modular, resource-oriented FastMCP server for interacting with Microsoft Graph API.
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...
一个基于模型上下文协议(MCP)的航空机票查询服务器。该服务器为AI助手提供标准化的航班实时动态查询功能接口。
Static analysis that finds the mess vibe coding leaves behind — dead code, duplicated logic, scaffolding artifacts, and disconnected functions — across 16 languages.
Agent Skills
A collection of Claude Code custom skills and agent definitions that enforce disciplined, worker-routed AI-assisted development workflows.
xhs-skill，自动发布笔记：标题。正文，配图到小红书
Prediction market harness for AI agents — skills, MCP server, and Python SDK
AI 八字 + 紫微斗数排盘与综合印证 Skill（基于 mingpan + iztro 开源库）：算法精准排盘（不靠 LLM 猜），三种分析模式，一键生成水墨风 HTML 命盘海报。兼容 Claude / Codex / Cursor / Workbuddy 等 SKILL.md Agent。
Ontology-driven WorkBuddy skill for requirements discovery, domain modeling, and app generation | WorkBuddy 需求探索、本体建模与领域应用生成器
Not an AI, just a local echo of someone you love. 把逝去亲友的数字遗物蒸馏成纯本地运行的 MCP Skill，为思念写一段永不超时的回调函数。
汇聚李梦圆、小马哥、站长、白鹭、袁东、单淑玲、飞扬七位申论名师公开教学精华,覆盖五大题型、十五个文种、上百条规范表达，让你从"不会写"到"写得对"
A comprehensive mathematical reasoning skill for AI assistants — arithmetic to research-level problems with rigorous verification.
A collection of custom Claude Code skills by Tian Chen.
ModelEvo: Business-Aligned Model Evolution Framework — 一套以业务为导向、由 Skill 编排的业务建模演化框架。
A structured failure-analysis workflow that assumes your plan already failed and works backward to find every reason why.
Claude Code / Copilot CLI and Codex plugin packaging for idasql — a live SQL interface to IDA Pro databases.