Staatsgeheim/MathKernel
- Всего звёзд
- 58
- Сегодня
- +0
Другие действия
Evidence-aware multi-engine mathematics runtime for LLMs: exact, symbolic, formal, certified-interval and numeric computation with typed MathIR, trust labels, and full provenance
Сохрани в «Мои находки», чтобы следить за релизами и ростом звёзд. Сохраняется в этом браузере.
О проекте
Математическое ядро для LLM с несколькими движками (SymPy, Z3, Lean, mpmath): считает точно, символьно, формально и в интервалах, сохраняя уровни доверия и происхождение результата. Доступно как Python-библиотека и как MCP-сервер.
Чем пригодится
- Подключить MCP-сервер к LLM, чтобы модель считала математику, а не выдумывала ответы
- Проверить символьно или формально выкладки, сохранив цепочку происхождения результата
- Получить интервальные оценки для численных вычислений с произвольной точностью
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях. Оригинал README →
Рост звёзд выглядит естественно. Данные на 24 сентября 2026, 00:44 UTC.
Оценка роста звёзд не подтверждает безопасность запуска.
Звёзды по дням
Столбики — звёзды за день UTC; линия — скользящее среднее доступной истории. Пропуски означают отсутствие данных, а не нулевой рост. Сегодняшний столбик неполный. Красным — дни всплесков.
Почему он в тренде
- Репозиторию 18 дней, а у него уже 58 звёзд.
- Hacker News: «MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server» — 37 очков, 17 дней назад.
Замеры роста: последние 7 полных дней
Нет данных за все 7 дней: недельный итог и сравнение не рассчитываются.
Замеры по дням · UTC
- 22 октября 2026
- —
- 23 октября 2026
- —
- 24 октября 2026
- —
- 25 октября 2026
- —
- 26 октября 2026
- —
- 27 октября 2026
- —
- 28 октября 2026
- —
Полные дни — из истории звёзд GitHub; сегодня и прогнозы исключены из сравнения. История проверена: 24 сентября 2026, 00:44 UTC. Источники и ограничения замеров →
Три GitHub-находки в каждом выпуске
Что делают, почему набирают интерес и что проверить перед использованием.
Выпуски в 10:00, 16:00, 22:00 МСК.
Цифры
- Всего звёзд
- 58
- Сегодня
- +0 звёзд за 2026-09-24 (UTC), к вечеру ≈ 0
- Форков
- 3
- Issues и pull requests
- 1
- Наблюдателей
- 0
- Язык
- Python
- Лицензия
- MIT
- Последний релиз
- v1.3.1.dev3 · 15 сентября 2026
- Создан
- 6 сентября 2026
- Последний коммит
- 15 сентября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Обсуждения на Hacker News
- MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server37 очков, 7 сентября 2026
Где замечен
- 14 сентября 2026Замечен на Hacker News
- 13 сентября 2026Замечен на Hacker News
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/Staatsgeheim/MathKernel)