Claude Desktop Install Guide
Desktop client with local MCP configuration support.
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
微信读书前几天上了一个官方 AI skill（weread.qq.com/r/weread-skills），把书架、笔记、阅读统计、推荐 6 件事开放给 AI。能力很强，但它只是「自然语言包装的搜索接口」——你让它推荐书，它不会去看你已经读过什么，常把你笔记 68 条的书又当新书推回来给你。
For engineers who want agents shipping code without a human in the loop.
A hypothesis-driven debugging skill for Claude Code, Codex, and Gemini CLI. Instead of blindly guessing fixes, it instruments your code with runtime logs, generates multiple hypotheses, and...
Environment-Runtime 是一个面向工程场景的轻量级 Agent Runtime。随着 OpenClaw 在企业工程流程中的关注度持续提升，一个现实需求也逐渐显现：面向通用场景的 agent runtime 设计未必能直接覆盖所有工程落地形态。这个项目把视角收窄到高确定性工程流程，希望把常见工程任务组织成更清晰、更可复用、更容易维护的运行时。
Human-defined workflows. AI-powered execution. YAML decision trees with scheduling, hooks, MCP, and 21 built-in tools.
There are plenty of skills out there. This library avoids slop and only ships skills that:
A lightweight .NET AI SDK for provider routing, streaming, tool calling, and chat session management.
One-page team capacity: load, buffer, explicit cuts — honest ranges.
Azur Lane Resources extracted and parsed by Fernando2603/Azurex
Per-task rubric-blind skills for the Parthenon self-evolving legal-agent framework (Harvey LAB).
PrediHermes is a Hermes skill for geopolitical market forecasting. It wires together:
A Claude Code skill that rewrites text into plain language per ISO 24495-1:2023 — the international standard that defines plain language by reader outcome: the intended readers can what they need, it...