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

The verification layer for coding agents

Interactive UI for local node modules inspection

A model-mediated harness for reliable agentic software development.

Bridge Claude Code / Codex to IM platforms — chat with AI coding agents from Telegram, Discord, or Feishu/Lark.

Skills live under skills/, grouped into buckets:

Smart tmux session manager

一个先接住情绪、再分析关系并给出可执行策略的 Codex 恋爱军师,内置心理、法律、社会、人文、哲学、婚姻家庭与性学知识库,支持多元关系。

A CLI for Twitter/X — feed, bookmarks, and user timeline in terminal

Agent skills for solving CTF challenges - web exploitation, binary pwn, crypto, reverse engineering, forensics, OSINT, and more

the holly uncodexify instructions - letting GPT create uncodexified UI

A collection of Awesome Finance Agent Skills for free and easy to start | 一系列开源免费的金融分析Agent Skills

Agent plugins for Flutter, maintained by the Flutter team.