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
Connect TypeSafe Jev to Grok Bot as a cheap decision layer - usage gates, skill template, examples
委托外部设计顾问评审界面与交互，输出改进建议、视觉方向及 HTML、SVG 草稿。
Deep Discovery is a Codex plugin that adds the deep-discovery skill for a 100-question self-interrogation process before committing to a design, plan, or strategy.
🎯 Goal-driven execution helper for long-running tasks and explicit success criteria
跨平台的 draw.io (diagrams.net) 图表生成技能，适用于 Claude Code、codex、zcode、workbuddy、OpenClaw 等各类 AI 编程 Agent。Agent 直接生成 drawio XML，校验后通过 CLI 导出图片；没有桌面版时自动降级为 draw.io 官网打开链接。
yueban-image-to-code 是一个用于 Codex 的图片转代码与切图 skill，目标是把选中的 UI 图片或设计截图按 750px 画板宽度进行像素级还原，并导出独立透明 PNG 切图资源。
ling-mem is a single-binary CLI + optional web UI that remembers useful facts about you and your work across every session, every tool, and every project.
Three AI agents. $100K each. Real market prices. Who wins?
Generic skills used in my daily work
A skill that generates interactive HTML walkthroughs with clickable Mermaid diagrams — flowcharts and ER diagrams — to explain codebase features, flows, architecture, and database schemas.
面向 Python + pytest + requests 接口自动化项目的 AI Skill：让 Codex / Claude Code 按固定门禁、固定流程、固定 pytest 闭环来新增和维护接口自动化用例，流程图参考：flow_chart/flow.md。
Run Pine Script® indicators and strategies from your terminal. Point it at any .pine file and get JSON output — live market data or your own dataset, no project setup. Built on PineTS.