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
skill infrastructure for multi-agent projects
Skills that translate your coding agent's output into plain language: honest reports, straight verdicts, steps you can follow. MIT.
BenchFlow The universal environment framework — a benchmark is just a frozen environment.
4461 行实战知识 · 243 个章节 · 105+ 代码示例 · 生产覆盖 API 24，跟踪 HarmonyOS 7 / API 26 Beta1
Bring the power of Superpowers to Antigravity .
基于 Hermes 改造的轻量级 AI 助手框架，可以快速打造商用 SaaS 平台，支持多租户隔离部署、多平台渠道接入、工具调用、定时任务和 Web 实时通信。
终端里起多个会话并行干活、互相通信；长任务跑着的时候人走开了，也能从微信/企微把它喊回来。
— 199 bioinformatics skills for Claude Code covering RNA-seq, single-cell analysis, genomics, proteomics, drug discovery, and more. Boosted BixBench from 65% to 92%. Open source.
Honey (I Shrunk the AI) by GreenPT is a cross-tool coding skill that cuts AI coding-agent token usage and LLM API costs — making agents emit less code and less prose without losing correctness.
A Claude Code skill for maintaining and optimizing OpenClaw workspace files — the markdown files that form an AI agent's soul, memory, and operating procedures.
Scaffold de para agentes de IA — Claude Code, Codex, Cursor, GitHub Copilot, Gemini CLI e Windsurf. Em qualquer projeto, rode um comando e ganhe a esteira completa: , com skills, templates, gates de...
Quick Start · Claude Code · CLI Reference · Models · Docs