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
is a graph-centric framework for orchestrating Multi-Agent Systems with :
Stop trusting Claude's first answer. Run any decision through 5 AI advisors who argue, peer-review each other anonymously, and hand you a verdict you can actually trust.
A new major version 3.0.0 of Auth0.swift is now available as GA. It includes breaking changes and improvements over v2. We'd love for you to try it out and share your feedback!
Documentation compiler for humans and machines. One Markdown source to website, search, AI context, and knowledge formats together.
awesome-novel 和 AI 一起写小说 —— 支持 Claude Code / OpenCode / Reasonix
锻造你的知识体系 — 通用知识笔记模板 考研 · 考公 · 专业课 · 科研 · 项目 · 竞赛 · 期末
A modern, cross-platform, and free AI RSS reader. 一个现代化、跨平台且免费的 AI RSS 阅读器.
Stop AI agents from doing things you didn't ask for.
🌐 ：dg-ai-notes.pages.dev —— 双轨教程 · 沉浸式阅读 · 深浅色主题
Run AI agents on a schedule. Set up recurring tasks that execute autonomously—even when you're away.
I'm building aven, a local-first task manager for power users and agents.
把课程材料变成可持续学习、可反馈、可复习、可沉淀的 Obsidian 学习系统。