Repolode
AbdullahAlhariri

AbdullahAlhariri/penmentor

ИИ-наставник по математике, который размечает рукописные решения подсказками, а не ответами, и может наглядно объяснять идеи с помощью manim.

Звёзды
68
Форки
3
Открытые issues
0
Последний коммит
17 часов назад

Что это?

penmentor — настольный помощник для занятий математикой от руки. Пока вы пишете на графическом планшете, нажатие клавиши отправляет текущую страницу ИИ-модели. Та размечает работу на экране, как учитель цветными ручками: обводит первую настоящую ошибку, ставит галочки у верных строк и подчёркивает последующие шаги, зависящие от этой ошибки. Подсказки идут от лёгкого намёка к названию нужного метода; кроме того, инструмент может задавать вопросы на воспроизведение материала и предлагать упражнения на поиск ошибки.

Если выделить рамкой часть страницы, инструмент создаст интерактивную анимацию с помощью библиотеки manim от 3Blue1Brown — например, покажет, как перемещаются пределы интегрирования или как сходятся суммы Римана. Инструмент рассчитан на xournal++ в Linux под X11; небольшой плагин позволяет модели видеть всю страницу, а не только область на экране.

Вместо отдельного API key используются уже установленные ИИ-агенты командной строки: Claude Code, Codex и Antigravity CLI. Агент выбирается в Settings по префиксу модели. Для настройки понадобится авторизоваться в одном из этих агентов, а также установить rofi, slop, xdotool и PyQt6.

Ключевые возможности

  • 01Размечает рукописные решения на экране: обводит первую ошибку и ставит галочки у верных строк.
  • 02Даёт подсказки по нарастающей, не раскрывая готовые ответы.
  • 03Создаёт интерактивные анимации manim по выделенному рамкой фрагменту страницы.
  • 04Работает с Claude Code, Codex и Antigravity CLI, выбранными по префиксу модели.
  • 05Включает плагин для xournal++, благодаря которому модель видит всю страницу.
  • 06Предлагает вопросы на воспроизведение материала и упражнения на поиск ошибки.

Сценарии использования

  • Заниматься математикой — например, математическим анализом — от руки на графическом планшете в xournal++.
  • Получать обратную связь по шагам решения домашнего задания, не перенося их в окно чата.
  • Наглядно изучать понятия, например интеграл или предел, с помощью интерактивной анимации.

Быстрый старт

  1. 1

    Клонируйте репозиторий

    git clone https://github.com/AbdullahAlhariri/penmentor ~/src/penmentor
  2. 2

    Запустите самопроверку

    ~/src/penmentor/bin/penmentor --selftest
  3. 3

    Назначьте bin/penmentor на клавишу в оконном менеджере (см. пример для i3 и руководство)

Что важно знать

  • Работает только в Linux с X11; лучше всего — с i3.
  • Требуется установленный агент CLI с выполненным входом (claude, codex или agy), а также rofi, slop, xdotool и PyQt6.
  • Работает через рабочий процесс xournal++, описанный в README.

Темы

Частые вопросы

Что такое penmentor?
ИИ-наставник по математике, который размечает рукописные решения подсказками, а не ответами, и может наглядно объяснять идеи с помощью manim. penmentor — настольный помощник для занятий математикой от руки. Пока вы пишете на графическом планшете, нажатие клавиши отправляет текущую страницу ИИ-модели. Та размечает работу на экране, как учитель цветными ручками: обводит первую настоящую ошибку, ставит галочки у верных строк и подчёркивает последующие шаги, зависящие от этой ошибки. Подсказки идут от лёгкого намёка к названию нужного метода; кроме того, инструмент может задавать вопросы на воспроизведение материала и предлагать упражнения на поиск ошибки.
penmentor можно использовать бесплатно? Какая у него лицензия?
penmentor распространяется с открытым исходным кодом под лицензией MIT. Перед использованием в коммерческих продуктах проверьте условия лицензии.
penmentor всё ещё поддерживается?
Активно поддерживается. Последний коммит в penmentor — 20 окт. 2026 г..
Для чего можно использовать penmentor?
Заниматься математикой — например, математическим анализом — от руки на графическом планшете в xournal++. Получать обратную связь по шагам решения домашнего задания, не перенося их в окно чата. Наглядно изучать понятия, например интеграл или предел, с помощью интерактивной анимации.
Как установить penmentor?
Клонируйте репозиторий: git clone https://github.com/AbdullahAlhariri/penmentor ~/src/penmentor Запустите самопроверку: ~/src/penmentor/bin/penmentor --selftest Назначьте bin/penmentor на клавишу в оконном менеджере (см. пример для i3 и руководство)
Где скачать penmentor?
Исходный код и инструкции по установке — на GitHub: https://github.com/AbdullahAlhariri/penmentor

Описание создано ИИ на основе README проекта. Статистика GitHub обновляется ежедневно.

Похожие проекты

Локальный векторный индекс и инструментарий для RAG: пересчитывает эмбеддинги по запросу и сокращает объём хранения примерно на 97%, позволяя искать личные данные на ноутбуке.

13 тыс.1,2 тыс.PythonMITОбновлён 3 часа назад