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

feishu-cli 是一个功能完整的飞书开放平台命令行工具。它将飞书文档、知识库、电子表格、消息、日历、任务等操作封装为简洁的命令行接口,核心能力是 Markdown ↔ 飞书文档双向无损转换。

![npm version][npm-version-href] ![npm downloads][npm-downloads-href] ![License][license-href] ![Nuxt][nuxt-href]

Get your animations easily done with only Tailwind CSS classes.

[placeholder: animated GIF showing the full pipeline — paper fetch → parsing → ambiguity audit → code generation → walkthrough notebook]

📚 Check out the comprehensive docs with detailed guides, examples, and best practices!

Model export recipes, Python primitives, and Swift runtime utilities for building on-device AI with Core AI.

is an API-first Ruby web framework that combines the developer experience of Rails with fiber-based concurrency.

upfetch is an advanced fetch client builder with standard schema validation, automatic response parsing, smart defaults and more.

SkillsBench evaluates how well skills work and how effective agents are at using them.

A CLI written in Go language that writes git commit messages or do a code review brief for you using ChatGPT AI (gpt-4.1, gpt-4o model) and automatically installs a git prepare-commit-msg hook.

A collection of Pi Coding Agent customized instances. Why? To showcase what it looks like to hedge against the leader in the agentic coding market, Claude Code.

本项目是基于吴恩达老师在 DeepLearning.AI 平台推出的 agent-skills-with-anthropic 系列课程的中文学习资料整理项目。我们致力于为中文学习者提供高质量的课程内容翻译、系统的知识点梳理以及详细的示例代码解读,帮助大家更轻松地掌握 Agent Skills。