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
· · · crafted on a 24×24 grid and trusted by 500,000+ developers.
fly ai agent skill
About • How It Works • Documentation • Quickstart • Skills • Templates
A collaborative list of awesome Helm resources.
欢迎来到阿里云大模型ACP高级工程师认证课程，这是阿里云大模型认证的进阶篇。在开始课程之前，先来了解阿里云大模型认证的体系架构，方便你选择适合自己定位的课程。 阿里云大模型认证体系架构：
山音超级编剧大师 - 全格式影视编剧 Skill 由 @山音 设计的自然语言驱动编剧 Agent Skill 覆盖 1-3 分钟概念超短片→90 分钟电影长片→多集剧集的全流程剧本创作，一站式搞定人物、大纲、场景、剧本全链路
A curated list of delightful NoCode / LowCode applications and resources. For more awesomeness, check out awesome.
- 傻瓜操作模式(把txt文件拖到kaf-cli.exe上面自动转换) - 自定义封面 - 支持生成Orly风格的书籍封面 - 自动识别书名和章节(示例中所有用法都会自动识别) - 自动识别字符编码(自动解决中文乱码) - 自定义章节标题识别规则 - 自定义卷的标题识别规则 - 自动给章节正文生成加粗居中的标题 - 卷名使用精美的双线边框样式 - 章节序号和标题分离显示（可选） - 自定义...
zvm (Zig Version Manager) lets you easily install/upgrade between different versions of Zig.
基于 Vant 设计语言，为小程序与 H5 提供一致、类型安全且高度可定制的开发体验。
Large Language Models (LLMs) have rapidly evolved into powerful general-purpose reasoning and generation engines.
EvoSkill: Automated Skill Discovery for Coding Agents