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

体制内公文写作 Agent Skill · 内置文种手册 / GB/T 9704 版式 / 政府文风库 / 写作内功(标题·谋篇·改稿) / 负面清单 / 一键导出 Word

The design layer for agentic AI — design context, interface checks, and verification for coding agents.

审查论文对应的代码实现是否完整合法的skill

精选的 Clawdbot 技能合集 - 565+ 个社区构建的技能,分类整理便于发现 | A curated collection of 565+ Clawdbot skills

Local ears and mouth for your LLM — offline, private, safe, free & open source. Voice-enable any local LLM stack: Claude Code, OpenCode, Hermes, Llama.cpp, vLLM, Ollama and more.

I do not like asking a model to dump raw HTML for them.

Your complete SEO house: native crawling, SEO/AEO/GEO, content, competitors and reputation. Includes 206 publishing sources with DR context and tailored backlink plans.

A new version of a ballistic calculator API, a new generation light-weight, LGPL library of modelling projectile trajectory in atmosphere

专利侵权分析系统 —— 输入专利公开号,产出竞品侵权分析报告;同时打包成 skill,可被任意 agent(dsh, codex, claudecode 等) 调用。

把一句视频需求、一篇实操文章、一个产品介绍,变成可执行的视频生产流程:先问清楚目标和风格,再拆脚本和分镜,再生成视觉预演 prompt,最后用 HyperFrames / Remotion / HTML / React 这类代码驱动方式生成可渲染的视频场景。

Tapestry - 基于 Agent Skill Bundle 的轻量级书签知识库

A Codex skill for producing consistent AI picture-book MVPs: story structure, character continuity, page prompts, layout, QA, and publishing notes.