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
Semantic code search, memory, and symbol intelligence for AI coding assistants. Get your free account at dev.context-engine.ai
iDeer 是一个**工具。你告诉它你关注什么，它替你盯住散落在各个平台的更新，用 LLM 做筛选、打分、摘要，最后把值得看的内容在你设定的时间自动送到邮箱里。
融合紫微三合派、中州派和手相互证的方法论。Python 精确排盘，AI 生成有温度的解读，HTML 暗色星空主题可视化输出。
The script. The prompt. The hosts' roles. Their voices. The content they discuss. All of it.
Everything distilled from — a public X trader and AI/semiconductor supply-chain analyst known for tracing hyperscaler capex into upstream bottlenecks.
— Open Source Agentic AI Sandbox Matrix. A CNCF-conformant Kubernetes distribution in a , purpose-built for secure, isolated AI agent execution at scale. Up and running in . Inspired by K3s.
and we're building it in the open with the community. APIs will still evolve as your feedback shapes them, so we don't recommend it for production workloads yet.
An agent skill that turns an architecture discussion into an explorable isometric atlas: one data file, an interactive map and a generated SYSTEM.md
一个**:自动转录 → AI 识别口误/口癖/静音 → 网页波形审核 → 导出 FCPXML,拖进剪映或 Final Cut Pro 完成最后一刀。核心是一份 SKILL.md,,不绑定特定工具。 这个项目灵感最初来源于GitHub开源项目 videocut-skills，为了适配我自己的剪辑工作流，重写和扩展了工程导出、前端交互、视频预览、核心剪辑逻辑、语音识别和音频识别字幕等功能
一组面向中文内容运营场景的 agent skills，覆盖微信公众号、小红书、抖音、视频号和 X/Twitter 的合规起号、定位、选题、内容计划和复盘。
— добавляются новые возможности, отлавливаются и исправляются баги, производится оптимизация. Следите за обновлениями.
Connect your AI tools to the Shopify platform.