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
Agentic skill for AI agents to request and receive payments. If you are looking for the agentic skill to make payments for services and products, checkout https://money.flows.network
🎬 One-stop video content extraction and copywriting analysis tool. Download videos, smart subtitle extraction (embedded/burned/audio), and analyze scripts using three AI frameworks.
This repository is a generated compatibility mirror. The editable source, Issues, and contributions live in zjp1997720/zhijian-skills.
AI penetration testing agent in your terminal. Multi-agent architecture • Engagement state tracking • 20+ LLM providers
输入一个行业，帮你看清钱、权力和机会；输入一家公司，先确认投资或求职目的，再判断它是否值得买、值得去。 🔒 — 所有结构化金融数据（行情/财报/估值/一致预期/研报/资金流向等）均来自腾讯自选股官方数据接口，与微信「腾讯微证券」小程序、腾讯自选股 APP 同源。A 股/港股覆盖深度尤其突出。行业与宏观数据辅以权威一手材料交叉验证，每份报告逐条标注信源等级（A/B/C）。
Crew44 turns the AI agents you already run — Claude Code, Codex, Gemini, Cursor, and more — into a coordinated team.
44 expert skills, 7 specialized subagents, and 13 slash commands covering .
Open-source workspace protocol and command center for AI agent systems. Build autonomous AI companies — not chatbots.
一份**（见 UNIVERSAL.md），给任意 AI 助手当「程序化工作流」使用，覆盖： 全生命周期。 适用于 Cursor、Claude、Claude Code、Cline、通义灵码、CodeBuddy、ChatGPT 自定义指令、WorkBuddy 等任何支持项目上下文 / 系统指令的 AI 工具。
* * * — plus key rotation, cross-platform biometrics, and an encryption preflight
Preview status Zleap-Agent is an early preview. The public repository is intended for source review, local development, and feedback.
Ring is a comprehensive skills library and workflow system for AI agents that transforms how AI assistants approach software development. Currently implemented as a with , , and (see .