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
An is a plugin that teaches AI coding agents best practices for a specific technology, delivered as a portable Markdown knowledge pack.
Give an AI agent a link to an OpenAPI spec, GraphQL schema, or MCP server and get back a ready-to-use Agent Skill with wrapper scripts, references, and usage notes.
Unofficial API for Yahoo Finance with CLI, MCP and Agent Skill.
JSON spec -> .excalidraw + .png + animated .gif
Open-source, local-first video editor where creators and AI agents edit the same real timeline.
The central challenge in AI development isn't a lack of ideas, but the inconsistent process of turning them into robust, reliable skills.
My personal library of domain-agnostic agent skills, reused across every project. Small, composable, and hackable — works with any harness that supports skills: Claude Code, Codex, opencode, Cursor,...
A curated, installable collection of AI agent skills for research, writing, analysis, and scientific workflows.
Write a SKILL.md, drop in some evals, and find out — empirically — whether your skill actually makes the model better at the task.
一个适配 Claude Code / Codex 等 Agent 环境的配图 Skill，用来把文章、笔记、图表截图、产品概念、工作汇报、教学材料和人文观点，生成**。
- 🤷 "AI到底能帮我做什么？" —— 听了100场演讲，还是一头雾水 - 💸 "我该先投哪个方向？" —— 怕投错钱，更怕错过窗口期 - 📊 "别人都在用AI了？" —— 焦虑但不知道从哪开始
There are already many useful : discipline templates, anti-AI phrasing rules, citation/equation safety rules, and general academic style guides.