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
Listen. Remember. Evolve. 开源桌面端ai引擎
Open source skill library for AI coding agents to write, optimize, and debug high performance compute kernels across CUDA, Triton, and quantized workloads.
Deep Skill Finder – Find the right Skill for every Agent task
Efficient multi-strategy Zotero search using code execution pattern
换装导演：支持女性、男性和宠物的多造型拼贴与换装视频脚本 Skill
Analyze your Claude Code session history to discover patterns that should become reusable skills.
把任何 JSONL 格式的 RAG 源文件，轉換為結構完整、可驗證、可分享的 Claude Code Skill。
MCP / CLI for Claude Design
- - 扫描已安装技能，检查可用更新 - - 市场更新后自动重新安装受影响的技能 - - 从 skills.sh 发现热门技能 - - 自动检测语言环境（中文/英文）
通过自然语言告诉 AI 你想做什么视频，它帮你完成从写文案、配音、加字幕、选音乐、上特效到最终导出的整套流程。
Feishu Skills for OpenClaw 120+ 项飞书 API 实测经验，让你的 AI Agent 成为飞书自动化专家
- 🔄 - 从招标文件解析到标书生成，14个步骤全自动执行 - 🏭 - 支持IT/信息化、建筑工程、医疗健康、教育服务、制造业、物流运输、咨询服务等8大行业 - 🤖 - 自动识别招标文件所属行业，生成符合行业特点的专业内容 - 📈 - 遇到新行业时自动创建行业指南，逐步完善知识库 - 📄 - 支持PDF、DOCX、DOC、TXT、XLSX格式的招标文件 - 📊 -...