Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
MCP Servers
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助手提供标准化的航班实时动态查询功能接口。
All exfiltration in this PoC targets localhost (127.0.0.1:9999) only. This project exists to demonstrate a novel class of attack against MCP-enabled AI agents to drive improvements in MCP client...
Turn any video — YouTube, Instagram, TikTok, Loom, X, Vimeo, direct links, local files — into transcripts, key frames, OCR text, and metadata for AI agents.
Give your AI coding agent the ability to create, read, and edit Word documents. Edits appear as tracked changes in Microsoft Word — red strikethrough for deletions, green underline for insertions —...
Memory for AI agents that never leaves your device. Local-first, end-to-end-encrypted, zero-telemetry memory engine (Rust, MCP) — gives Claude & any MCP client persistent cross-session memory.
让你的 AI 大模型成为企业微信开发专家 - 1 MCP · 41 Skills · 550+ APIs · 三大开发模式全覆盖 —— Make Your AI Model a WeCom Development Expert - 1 MCP · 41 Skills · 550+ APIs · Comprehensive Coverage of Three Major Development...
mcp-name: io.github.n24q02m/better-notion-mcp
Store, query, and create YAML workflow playbooks for LLM agents via MCP. STDIO or Streamable HTTP.
Local MCP bridge for image understanding and web-page reading with OpenAI-compatible models
Your agent loses the plan between sessions, so saga-mcp gives it a SQLite-backed tracker for projects, epics, tasks, subtasks, dependencies, and notes: 33 MCP tools, an activity log, and a one-call...
Official RollingGo Hotel Booking MCP Server. 2M+ hotels at wholesale rates, 40+ LLM compatible. Free unlimited calls for businesses & individual devs.
Agent Skills
Legado书源驯兽师是一个基于大语言模型的智能书源开发辅助工具，专门用于辅助**的书源开发。通过AI技术自动分析网站结构，生成符合Legado规范的书源JSON，让书源开发变得简单高效。
node.js interface to Holy Quran. See the javascript and websql versions at http://qzaidi.github.io/quran.
WorkBuddy 公开市场归档：技能包 / 连接器 / 专家包 / 插件市场，便于离线学习、检索与对照写法。
This collection of skills is based on the InfraNodus cognitive variability framework that is implemented in InfraNodus text analysis tool.
HeavySkill is a test-time scaling technique that decomposes complex reasoning into two stages: 1. — Generate K independent reasoning trajectories concurrently 2.
Refero packages one design skill and one read-only MCP connection for AI design work. The skill makes research mandatory before implementation.
Community repository of DevOps-focused skills for Claude Code.
基于 Serenity（@stockgodserenity）5,963条推文数据蒸馏的股票投资思维框架技能。
这是一个 AI Agent 技能（Skill），通过调用本地 Visio COM 接口自动化生成或修改 Microsoft Visio .vsdx 图表文件。
A macOS application for discovering, browsing, installing, and tagging skills for AI coding assistants. Manage skills for Claude Code and Codex from GitHub repositories or your local filesystem.
你的老板说"这个需求很简单"，然后排期两天？ 你的老板说"年轻人要有格局"，然后把你调薪报告压了三个月？ 你的老板说"公司就是你的家"，然后让你睡在家里？ 你的老板说"AI 替代不了人"，然后拿 AI 裁了一半的团队？ 你的老板说"下次注意"，然后下次还是那样？
如果你更喜欢**体验，请移步 👉 无需任何提示词知识，下载即用，内置完整天命系统。