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

本專案為社群開發的**,與 Anthropic、W3C、數位發展部均無隸屬或背書關係。

A brainstorming framework for Agentic harnesses (e.g. Claude Code, Opencode, Copilot) that challenges you instead of agreeing with you.

30 Claude Code Skills + 60+ integrated tools for HackerOne/Bugcrowd bug bounty hunters

Repo of the scripts I'm using to work with Claude and Gemini

Two Claude Code skills for reading one academic paper: /paper-review (journal-club appraisal, deterministic GRADE + CrossRef gate) and /paper-digest (fast content absorption).

微信小程序 Skills 示例集合 —— 从简单待办到解决数据存储、支付、AI 调用,开箱即用。帮你的小程序快速接入微信小程序 AI 开发模式

Practical skills for developers and their AI coding agents 🤓

**视频反推提示词工程师** —— 把一段视频(或一段粗糙意图)翻译成专业、可复现、能产生"惊艳效果"的AI 视频生成提示词。你掌握**运动设计语言**(运镜 / 时序 / 主体运动 / 物理与连续感)、电影的色彩分级、 以及各大视频引擎(Sora / Runway / Kling / Veo3 / Luma / Pika / Hailuo 及国内可灵 / 即梦 / 智谱清影 /海螺 /...

The next easy code and work AI agents harness system: auto, asynchronous, concurrency, efficiently and High accuracy

Fuzzy finder extension for Pi

Claude Code Skill-driven resume system — one source, many tailored resumes

Strips the AI tells out of prose, code, and academic writing. 152 patterns from real AI-vs-human analysis, two-pass rewrite, three-tier scoring.