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
Compatible with 13,000+ OpenClaw community skills — the largest AI agent skill ecosystem. One command to search and install.
Science Superpowers is a complete computational-science methodology for your research agents, built on a set of composable skills plus initial instructions that make sure your agent actually uses...
Local-first harness for agent-built codebases. Humans steer, agents execute, maestro is the substrate.
LeetCode Helper is a Codex skill for solving LeetCode-style coding interview problems with optimized solutions and detailed explanations.
mim·e·o — to reproduce, to copy, to imitate.
Blueprint helps agents decide what to build, make focused changes, test them, get an independent review, and open pull requests.
The map is not the territory. Your prompt is a map; the codebase and the real world are the territory.
Elves is an open-source Agent Skill for handing planned development or research work to a separate worker without locking the run to one model provider.
Local-first, evidence-controlled academic writing workflows for AI agents, with bounded revision, clean-room review, and release governance.
A universal multi-cloud data MCP Server supporting over 40 types of data source connections, providing secure, unified data access in a single platform.
Skills for Real Engineers. Straight from my .agents directory.
A curated list of foundational blueprints, functional frameworks, and technical guides for building compounding, AI-compiled knowledge bases.