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
给 Codex CLI 加上深度调研、图片生成、浏览器调试等能力，配好多模型切换，开箱即用。
Public skills for working with Grafana, Prometheus, Loki, Tempo, Pyroscope, k6, and the broader LGTM observability stack.
每个 Skill 都是一个可安装的思维操作系统，不是语录合集。 安装后可在支持 Agent Skills 的 AI 助手中，以该人物的视角分析问题、审视决策、提供反馈。
Ship faster. Ship better. Ship with The Agentic Startup .
Cloud Mind: fold world-class cloud infrastructure into your AI chat box. AI云：把世界级云基础设施带进你的 AI 对话框。
archscribe 是一个 Codex / Claude 技能 + 本地渲染器,用于生成高级感的手绘技术图:手绘字体、可编辑的 Excalidraw 源文件、静态 PNG 预览,以及真正会动的 GIF。
The skills here are built from this source into a portable Agent Plugin and installable client-specific plugins for Claude Code, Cursor, Codex, and Grok — install one of those, not this repo.
An agent that directs Seedance 2.0 like a filmmaker — reading each scene before it writes the prompt.
My agent skills that I use every day to do real engineering - not vibe coding.
An autonomous white-hat security auditor. Security automation for target prep, audit, exploit construction, and execution proof.
Ark UI 是一套基于公开设计证据、采用 clean-room 方法实现的界面设计与前端工作流。它支持两个互相独立的选择轴：
A universal command-line tool for managing iOS and Android devices, simulators, emulators and apps from Mobile Next.