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 server for accessing reMarkable tablet data

Stockfish + LLM chess coach: an MCP server and web board that explain your mistakes in plain English

- - Comprehensive tool documentation with real-world examples - - Data handling and privacy information - - Comprehensive Docker deployment, multi-architecture builds, and production setup

CLI for Tana integration - query, create, sync, and manage Tana workspaces with semantic search and MCP Server

This repo exposes the TMF620 command layer through two interfaces:

AI visibility tracker MCP for ChatGPT, Claude, Perplexity, Gemini & Google AIO. Free OSS/self-host; optional EUR 99 AI Visibility Audit.

An MCP server that provides KOSPI/KOSDAQ stock data from KRX Data Marketplace.

Official Sarvam MCP server. Exposes every public Sarvam API — STT, TTS, Translate, Transliterate, Language ID, Text Analytics, LLM (30B / 105B), Vision Document Intelligence, Pronunciation...

AI-powered logo design → SVG → full brand kit. Free, local, MCP-native.

This project contains MCP Servers for IBM Cloud which provide an interface layer between AI assistants and IBM Cloud services.

An MCP server that provides tools for sending and testing in sandbox via Mailtrap.
Agent Skills

根据产品内容与城市风格库,制作有清晰视觉方向、从导航到页脚完整的落地页。

风物执守 · XY Skill —— 装进 AI 里的商业与私域顾问 + 本体论/FDE方法论。46 Skills · 28,226 条知识原子 · 333 个概念节点。遍历世间风物,执守事物本源。

Golden inputs, expected constraints, drift table, and CI pseudo-code — catch prompt regressions before ship.

Claude Code skill for professional MQL4/MQL5 development — Expert Advisors, indicators, trading operations, risk management, backtesting, and external API integration for MetaTrader platforms.

Claude Skill for SEO Audit & PDF Export

Bring the Conductor spec-driven development methodology to any coding environment as skills.

Outline-Driven Development - opinionated methodology between vibes and specs. AST tooling + context engineering + loop engineering on your hands. Plugins for Claude / Codex / Gemini / Cursor.

Rewrite AI-generated text to sound human. 3-pass editing system with 36+ banned words, 10 structural patterns, and a quality checklist. Works with any LLM — Claude, ChatGPT, Gemini, Cursor, Windsurf.

HITL design for AI product features: gates, UX, metrics, failure modes.

700+ AI skills for Claude and Cursor — PLG, marketing, security, DevEx, and more. One command to install.

The first Hebrew-native writing skill for Claude Code. Passes all AI detectors. Fools native Israelis. 7-layer system with 55+ pattern detection, Israeli voice injection, and voice cloning.

Claude Code skill for AI-assisted vertical (9:16) and multi-ratio video editing — captions, b-roll, transitions, and reusable style presets.