langchain-mcp-tools или LeanWarp
langchain-mcp-tools: MCP-сервер, издатель hideya. Витрин, которые мы читаем и где он опубликован: 1 (PyPI (MCP servers)). LeanWarp: MCP-сервер, издатель Isagoge-Labs. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Данные нашего прохода по витринам на 2026-11-09. Эту пару выбрал читатель, а не наше правило сравнений, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  langchain-mcp-tools |  LeanWarp |
|---|---|---|
| PyPI (MCP servers) | Опубликован Версия: 0.3.5 Загрузки за месяц (PyPI): 52 197 Загрузки за неделю (PyPI): 10 635 Форки (GitHub): 10 Звёзды (GitHub): 29 Не помечен · Впервые замечен |
Нет на витрине |
| Official MCP Registry | Нет на витрине | Опубликован Версия: 0.2.5 Форки (GitHub): 0 Звёзды (GitHub): 5 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | langchain-mcp-tools | LeanWarp |
|---|---|---|
| Витрины, где он есть | 1 | 1 |
| Звёзды (GitHub) (различается) | 29 (лучше) | 5 (хуже) |
| Форки (GitHub) (различается) | 10 (лучше) | 0 (хуже) |
| Последний релиз (различается) | 2026-10-23 | Не опубликовано |
| Где работает (различается) | На вашем компьютере (langchain-mcp-tools) | На вашем компьютере (leanwarp) |
| Транспорт (различается) | Не указано | stdio |
| Объявляет инструментов | Не опубликовано | Не опубликовано |
| Просит переменных окружения (различается) | Не опубликовано | 1, из них секретов: 1 |
| Лицензия | Не указано | Не указано |
| Репозиторий (различается) | github.com/hideya/langchain-mcp-tools-py | github.com/isagoge-labs/leanwarp-sdk |
| Изменения за последние 7 дней (различается) | 0 | 2 |
| Впервые замечен (различается) | 2026-10-12 | 2026-11-06 |
Строки, где значения различаются, выделены фоном и жирным. Где сами данные говорят, какое значение лучше (больше витрин, большая цифра одной и той же витрины, более свежий релиз, отметка verified на витрине, где есть оба), лучшее дополнительно отмечено зелёным и ▲, худшее красным и ▼. Где работает, транспорт, инструменты, настройки, hooks, части набора, лицензия и изменения за неделю отмечены только как различие: больше или меньше само по себе не лучше.
Что каждый говорит о себе
langchain-mcp-tools
Model Context Protocol (MCP) To LangChain Tools Conversion Utility
LeanWarp
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
Как запустить каждый
langchain-mcp-tools
Нет данных для автоматической команды: из того, что объявляют витрины, нельзя однозначно понять, как его подключить.
LeanWarp Как локальный MCP-сервер: пакет PyPI
claude mcp add --env "LEANWARP_API_KEY=<YOUR_LEANWARP_API_KEY>" --transport stdio leanwarp -- uvx leanwarp --project "<YOUR_PROJECT>" mcpТребует: LEANWARP_API_KEY (секрет), --project
Команды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Какие инструменты объявляет каждый
Витрины ни одного из них не публикуют список инструментов, сравнивать нечего.
Какие настройки просит каждый
Витрины langchain-mcp-tools не публикуют, какие настройки он просит, поэтому настройки не сравниваем.
Что умеет: langchain-mcp-tools · Что умеет: LeanWarp · Сравнить два других плагина
Данные витрины PyPI (MCP servers). Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.