Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
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
手写笔记本风格的单 HTML 学习笔记生成器，将技术内容转化为视觉精美的网页笔记。
An open repository that bundles three things together:
A Claude AI skill that helps IT Business Analysts in English Markdown, following the industry-standard 13-field template (Karl Wiegers / IIBA style) with best practices from Alistair Cockburn's...
Official Research Skills Powered By AMiner.cn
Claude Code skill: McKinsey/Bain consulting-style HTML chart generator with Chrome headless PNG export
适用于 Claude Code、Codex 等代码代理平台的法律工作技能仓库。每个技能以独立目录组织，核心说明写在 SKILL.md 中，可按需附带 references/、scripts/、assets/ 等资源。
Personal skills repo for academic empirical finance research workflows.
A Claude skill that iteratively optimizes a CUDA / CUTLASS / Triton kernel against a Python reference, using nsight-compute (ncu) as the source of evidence for each optimization decision.
AI UGC video ad factory for Claude Code. Higgsfield Elements + Seedance 2.0, 15 genre style skills, finished ads stitched with ffmpeg.
一个让 AI Agent 稳定生成高质量个人主页、作品集和 HTML PPT 的 Skill + 模板库。
CLI · API · MCP · A2A — all from a single npx command.
一套完整的免杀解决方案，涵盖 Shellcode 处理与 Loader 编写，综合运用 Indirect Syscall、ETW 补丁、Module Stomping、字符串加密、IPv4 混淆等技术，用于绕过主流杀软和 EDR 检测。