Cursor 安装指南
常与开发类 MCP Server 搭配使用的 AI 代码编辑器。
MCP Servers
MCP Server and Kali API Server- With Claude Desktop Integ
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...
把多模型 Provider、本地密钥和 HeavySkill 讨论统一成 MCP 网关 | Local MCP gateway for multi-provider LLM routing, secrets, and HeavySkill discussions.
一个基于模型上下文协议(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.
MCP server to give every agent an ephemeral Linux sandboxes for executing shell commands.
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 —...
Stockfish + LLM chess coach: an MCP server and web board that explain your mistakes in plain English
engawa (縁側/檐廊): a porch for your agent — tonight's moon, a painting a day, a poem, a curated feed shelf. 12 tools, all free & loginless. MCP server.
CLI for Tana integration - query, create, sync, and manage Tana workspaces with semantic search and MCP Server
Agent Skills
A collaborative list of awesome Helm resources.
Agent skill that audits vibe-coded apps for common security vulnerabilities introduced by AI coding assistants
The MATLAB Agentic Toolkit brings trusted MATLAB capabilities to AI agents, making engineering and scientific workflows agent-ready.
About • How It Works • Documentation • Quickstart • Skills • Templates
Large Language Models (LLMs) have rapidly evolved into powerful general-purpose reasoning and generation engines.
AI agent skills for startup validation, competitive intelligence, and planning
AI-powered design review for KiCad. Analyzes schematics, PCB layouts, and Gerbers. Catches real bugs before you order boards.
zvm (Zig Version Manager) lets you easily install/upgrade between different versions of Zig.
本项目围绕吴恩达老师在 DeepLearning.AI 推出的 Agentic AI 系列课程，致力于为中文学习者提供高质量的课程内容翻译、系统化的知识梳理、关键概念解析以及配套示例代码的详细解读。项目不仅帮助学习者跨越语言障碍，更通过结构化整理与实践引导，深入理解“智能体”（Agent）在现代 AI 系统中的核心作用，掌握构建自主、协作、推理型 AI 应用的关键方法。
The autonomous research agent that beats Claude Code and Codex by 2.5× on the same compute budget
Codex Skill for producing authorized digital-human talking-head videos with MiniMax overseas voice cloning and HeyGen Image-to-Video.
基于 Vant 设计语言，为小程序与 H5 提供一致、类型安全且高度可定制的开发体验。