Claude Desktop 설치 가이드
로컬 MCP 설정을 지원하는 데스크톱 클라이언트.
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
Fact-checking and disinformation detection skill for Claude and Codex
Custom proactive skills for Azure SRE Agent — governance, cost intelligence, architecture quality, AI workload posture
AstrBot skill for codeagent!
Open-source legal AI agent skills for PKULaw, citations, and DOCX workflows
A benchmark and generation framework for malicious agent skills.
可执行、可复核的缠论(缠中说禅) AI Agent Skill —— 先定级别·先认结构·先写失效点。研究/学习用途,不荐股。An operational 缠论 (Chan Theory) Skill for AI agents; research only.
decision clarity
Turn your markdown vault into a compounding knowledge wiki (Karpathy inspired). Six agent skills - knowledge grows with every conversation. Works with Obsidian, Logseq, etc.
面向 Codex 的社区安全审计 Skill：用于授权 CTF、上线前安全检查、项目加固和 AI 安全报告整理
Codex skill for annotated price action chart analysis
AI Agent plugin for Google NotebookLM (Claude, OpenClaw, etc) — generate slide decks, audio overviews, videos, mind maps, flashcards, quizzes, infographics, reports, and data tables from your...
本地 Grok Runtime，为多种 AI 编程 Agent 提供可管理的交互式会话 | Local Grok runtime for manageable interactivesessions across AI coding agents