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

将工单分析 SOP 固化为可复用的 Claude Skill,通过 agent-browser 稳定获取内网工单数据,并利用 AI 进行自动化分析。

Install this collection and four more with one command in Claude Code: /plugin marketplace add Owl-Listener/designer-skills This repo still works on its own.

ppt-craft-editable

Repository retrieval and context engine for Claude Code and Codex: finds relevant code, reuses project knowledge, and pairs each task with specialist skills and verification.

The ultimate Roblox game development Claude Code skill. A self-contained, full-lifecycle development companion that serves all skill levels with deep Luau expertise, autonomous game building via MCP...

它不是普通的“文件转 Markdown”工具,而是一套面向 Codex、Claude Code 和 Antigravity 的文档重建 Skill:先提取文本,再渲染原始页面,最后结合页面视觉结构校准内容,并通过脚本检查页数、格式、图片链接和输出契约。

Codex Dream Skin 开源换肤 Skill:支持 macOS/Windows Codex App 主题安装、自定义 Banner、主题切换、实时验证与一键恢复。Open-source Codex desktop theme tool.

A Claude Code skill that enables effective use of Google's Gemini CLI as a powerful auxiliary tool.

A dual-path memory system for proactive agents. Facts and procedures in a local knowledge graph, exposed as a CLI, MCP tools and skills. No API key.

Guarded, recoverable web ChatGPT automation for local Codex projects on Windows and macOS

Você herda um .pbix de 400 medidas sem documentação. Gasta 3 semanas só pra entender o modelo. Aí precisa criar uma medida e digita DAX no editor pequenininho do Power BI Desktop.

This Figma plugin extracts local styles and system signals from the current file and generates editable DESIGN.md and SKILL.