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

Claude Code skill replicating the Sequential Thinking MCP server — structured reasoning with branching, revision, and persistent state. No MCP required.

Plumb is proof of concept software demonstrating how we can manage the "Spec Driven Development Triange". It is very much alpha software, use cautiously.

A collection of skills for automated security testing, penetration testing, and security assessment workflows with coding agents like Claude Code, Codex, OpenCode, and others.

Tool to easily look at and debug the Claude Code Skills you are using

CLI tool for managing AI assistant skills and slash commands across multiple LLM platforms

PM Skills Marketplace: The AI Operating System for Better Product Decisions (Korean Version)

一个可移植的 ,驱动 IDA 配合 WPeGPT AI 插件,对二进制可执行文件进行全自动的逆向分析。支持 PE 和 ELF 格式,提供三种分析模式。

An AI skill pack for decision-making, investing, and better judgment, distilled into reusable reasoning modules.

Windows PowerShell toolkit for AI agents: Microsoft 365 (mail, calendar, Teams, SharePoint, OneDrive) via Work IQ + Microsoft Graph, Outlook COM, Edge browser (CDP), desktop, and system control - all...

这是一个用于 ChatGPT / Codex 的图片风格化 Skill。它会先识别图片里的主体,再把主体拆成一组平面图形,做成双色、柔光、纸纹和胶片颗粒感的编辑海报。

Stas' Python Cookbook - Python recipes that I use daily

The SEO + AI-search (GEO/AEO) optimization toolkit for Claude Code — two-score audit + opt-in fixer. Built for 2026-2027.