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
Distill scam playbooks into AI—see which step you’re on. Defense only. 把骗局套路蒸馏成 AI，看清你在第几步——仅供防范
Wittgenstein + Socrates + Polanyi: A Claude Code Skill for turning fuzzy thoughts into precise instructions
X Tweet Skills for OpenClaw - 推文自动创作技能包
🧬 Darwinia Give your AI agent the power to evolve its own trading strategies. Trading agents that discover strategies through Darwinian selection and adversarial self-play — not human-written rules.
Why use many token when few token do trick?
save tokens? claude? vibe code? you knocked your head too much, let's go find some bugs to eat
小提示：导入数据时**，尽量不要用 JSON——多数微信导出工具的 JSON 是给 LLM 微调用的格式，没有时间戳，跑不出 K 线。详见 输入格式。
—— 一套可被任意 AI agent（Claude / GPT / Cursor…）使用的**。
General-purpose workflow skills for AI-assisted software development. Built for Claude Code, but the ideas apply anywhere.
面向 AI Agents 的安全、可持久化沙箱执行平台（Secure, Persistent Execution Platform for AI Agents）
Your future self will thank you. Or blame you. It depends on the diff.
Curated collection of Claude Code skills for intelligent project development with progressive loading and toolchain detection