Claude Desktop Install Guide
Desktop client with local MCP configuration support.
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

这个 Skill 用来把商品资料变成 AI 带货广告工作流:选择剧情广告 / 品牌大片 / 达人带货及其有真实视频依据的小类,重写脚本,生成即梦提示词,并支持重大错误 Loop、结果报告和定时跑批。

A CLI tool that provides Trello integration with Claude Code. With this tool, you can manage your Trello boards, lists, and cards using natural language through Claude Code.

股票分析skill、股票数据源skill、A股选股skill、量化投资skill 短线交易skill、强势股筛选skill、涨停板分析skill、技术面选股skill 均线策略skill、量化选股skill、股票筛选skill工具、A股数据skill 短线选股、强势股筛选、涨停板选股、技术面选股 量化交易策略、A股打板分析、资金流向研究...

A Claude skill that turns Claude into your personal financial planner — built specifically for Canadians. Interviews, budgets, action plans, interactive dashboards, and ongoing coaching.

Metadata catalog for Claude Code skill source repositories. This repo does clone or mirror upstream skill content; it only tracks source repos from awesome-repo-configs and counts discoverable SKILL.

Build vendor comparison matrices and RFP question sets from requirements.

A one-click installer that scaffolds a complete GitHub Copilot agentic coding environment into any project

AI-powered job application automation toolkit — LinkedIn Easy Apply, Greenhouse, Lever, Jobvite, Ashby, Outlook triage, tracking. Built with Claude Code.

A comprehensive collection of high-quality Claude Code skills covering agentic development, AI vendor evaluation, skill development toolkit, resume building, requirements elicitation, and more.

WorkBuddy Skills 仓库 — AI 技能集合,涵盖 AI 创作、编程、办公、通用工具等分类

A comprehensive Pine Script development environment powered by Claude Code's Skills system. This tool helps you create professional TradingView indicators and strategies with AI assistance.

与其向往远方的山海,不如感恩身后的港湾。欢迎加入数字永生!Inspired by colleague-skill(同事skill).