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

Self-hosted AI agent runtime — personal assistants, autonomous workers, and everything in between. Built on the Claude Agent SDK.

通用 AI 求职面试助手 · A reusable Claude Code skill for interview prep, live rescue & post-interview review. Fill in your own profile.

Claude skills for Flutter!

不是再給你一份 SEO 報告,而是陪你在真實網站上練到自己會判斷、會動手、會驗證。

A collection of Claude Code skills for automating 3D product workflows in Blender via MCP.

Wiggle is a sandbox to run code in

面向上海交通大学学生的本地优先校园 AI 助手。 终端对话、Textual TUI、Web GUI、飞书 / Telegram / 微信 / QQ Bot,一个引擎全打通。

An open-source agent harness for software work.

net-audit-skills

██████╗ ███╗ ███╗ ██████╗ ██████╗ ██████╗ ███████╗ ╚════██╗████╗ ████║ ██╔════╝██╔═══██╗██╔══██╗██╔════╝ █████╔╝██╔████╔██║ ██║ ██║ ██║██║ ██║█████╗ ██╔═══╝ ██║╚██╔╝██║ ██║ ██║ ██║██║ ██║██╔══╝...

逆向 Kimi Slides 实现的非官方演示文稿 Skill,让 AI Coding Agent 可以创建、编辑、复刻、读取并导出 PPT/PPTX。每次生成默认产出两份文件:可继续编辑的 PPTD 项目,以及嵌入字体、带淡入淡出翻页切换的 PPTX。支持页内元素动画和预设主题,附带本地浏览器编辑器,可随时手动导出 PPTX。

深度解析小马哥、白鹭、袁东三位老师的申论教学理念,整合出一套申论做题与智能批改的实用skill