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
Technical SEO Audit skill for Claude
Набор скилов для AI-агентов по работе с Библиотекой стандартных подсистем (БСП) 1С
八字命理（四柱推命 / Bazi / Four Pillars of Destiny）是中國傳統命理學的核心體系。本專案提供專業的八字命理技能，適用於 Claude、ChatGPT、Gemini、DeepSeek 等 AI/LLM。
Open-source security platform for AI agents -- audits skills before install, monitors 24/7, shares threat intelligence across all users. | AI Agent 開源安全平台 -- 安裝前審計 skill、24/7 即時監控、社群共享威脅情報。
is a family of Claude Code and Codex plugins that gives solo founders the workflows of a full engineering org: plan review, code review loops, automated PR cycles, marketing, design, and...
CAD 自动化设计技能包 — 让 AI Agent 真正学会用 AutoCAD
8 specialist agents, real per-model routing, and hooks that block bad commits — pure config files, no runtime, no wrapper CLI. Created by ZeroClickDev
As AI agents become more capable, they are gaining access to the sensitive information of the people they assist.
专为 设计的 NCU (Nsight Compute) 自动化性能分析 Skill。
AI can be used to build AI-driven Kuikly apps and accelerate development workflows. You can use AI tools like Cursor and CodeBuddy for code generation and scaffolding.
A general-purpose framework for automatically generating specification documents — for maintenance engineers or end customers — from legacy or active codebases.
python implemntation of openclaw concept. Currently only supports Nvidia NIM API