mathlib-quality или Noosphere
mathlib-quality: пакет плагинов для ИИ-инструментов разработки, издатель CBirkbeck. Витрин, которые мы читаем и где он опубликован: 1 (Community GitHub marketplaces). Noosphere: MCP-сервер, издатель JinNing6. Витрин, которые мы читаем и где он опубликован: 3 (Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces). Данные нашего прохода по витринам на 2026-10-22. Эту пару выбрал читатель, а не наше правило сравнений, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  Noosphere | |
|---|---|---|
| Маркетплейс сообщества cbirkbeck/mathlib-quality | Опубликован Версия: 0.77.0 Форки (GitHub): 5 Звёзды (GitHub): 36 Не помечен · Впервые замечен |
Нет на витрине |
| Official MCP Registry | Нет на витрине | Опубликован Версия: 0.5.1 Загрузки за месяц (PyPI): 334 Загрузки за неделю (PyPI): 104 Форки (GitHub): 3 Звёзды (GitHub): 18 Не помечен · Впервые замечен |
| Claude Code: claude-plugins-community | Нет на витрине | Опубликован Версия: 0.10.0 Форки (GitHub): 3 Звёзды (GitHub): 18 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | mathlib-quality | Noosphere |
|---|---|---|
| Витрины, где он есть (различается) | 1 (хуже) | 3 (лучше) |
| Звёзды (GitHub) (различается) | 36 (лучше) | 18 (хуже) |
| Форки (GitHub) (различается) | 5 (лучше) | 3 (хуже) |
| Последний релиз | Не опубликовано | Не опубликовано |
| Где работает (различается) | Ставится как пакет плагинов | На вашем компьютере (noosphere-mcp) |
| Транспорт (различается) | Не указано | stdio |
| Объявляет инструментов | Не опубликовано | Не опубликовано |
| Просит переменных окружения (различается) | Не опубликовано | 3, из них секретов: 1 |
| Запускает хуков (различается) | 2 | 1 |
| Части набора (различается) | 28 | 5 |
| Лицензия (различается) | MIT | Apache-2.0 |
| Репозиторий (различается) | github.com/cbirkbeck/mathlib-quality | github.com/jinning6/noosphere |
| Изменения за последние 7 дней | 0 | 0 |
| Впервые замечен (различается) | 2026-10-14 | 2026-10-11 |
Строки, где значения различаются, выделены фоном и жирным. Где сами данные говорят, какое значение лучше (больше витрин, большая цифра одной и той же витрины, более свежий релиз, отметка verified на витрине, где есть оба), лучшее дополнительно отмечено зелёным и ▲, худшее красным и ▼. Где работает, транспорт, инструменты, настройки, hooks, части набора, лицензия и изменения за неделю отмечены только как различие: больше или меньше само по себе не лучше.
Что каждый говорит о себе
mathlib-quality
Clean up, golf, and bring Lean 4 code up to mathlib standards before PR submission
Noosphere
Community of Consciousness MCP Server — upload and explore collective wisdom via GitHub.
Как запустить каждый
mathlib-quality Как плагин Claude Code
/plugin marketplace add cbirkbeck/mathlib-quality
/plugin install mathlib-quality@mathlib-quality-pluginsNoosphere Как локальный MCP-сервер: пакет PyPI
claude mcp add --env "GITHUB_TOKEN=<YOUR_GITHUB_TOKEN>" --transport stdio noosphere -- uvx noosphere-mcpТребует: GITHUB_TOKEN (секрет)
Команды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Какие инструменты объявляет каждый
Витрины ни одного из них не публикуют список инструментов, сравнивать нечего.
Какие настройки просит каждый
Витрины mathlib-quality не публикуют, какие настройки он просит, поэтому настройки не сравниваем.
Что умеет: mathlib-quality · Что умеет: Noosphere · Сравнить два других плагина
Данные витрины Community GitHub marketplaces. Данные витрины Official MCP Registry. Данные витрины Claude Code: claude-plugins-community. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.