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

On-demand Higgsfield API image and video generation for coding agents, with model-specific docs and resumable jobs.

Open-source Claude Code plugin porting the internal /skillify skill: turn a finished session's repeatable workflow into a reusable SKILL.md you can rerun with a slash command.

Permissionless infrastructure for agents. No human intervention required.

47 Claude Code skills for product management, frontend design, full-stack development, and browser automation

cadence原理图转visio绘图

Ultrapack is an opinionated Claude Code, Codex, and Pi skill pack for developers: plan-driven, git-centered, minimalistic.

Interview-driven compliance guardrail for Claude Code — makes your AI build with HIPAA (and soon SOC2) principles baked in, keeping protected data out of non-compliant flows. Not legal advice.

AI Agent驱动的Claude code 软件开发工作流框架 — 让AI Agent协作完成软件全流程开发。自动生成PRD、架构设计、源码、教程,实现"描述即交付"。

3d半写实风格幻想角色设计

SigNoz Website

A Claude skill for comprehensive website content and UX audits. Content, copy, UX structure, conversion, creative direction, and technical QA in one structured review.

一人律所 Agents — 28 位 AI 虚拟专员,7 大部门,为独立执业律师打造的全链条 AI Skill 库