Penmentor — это математический наставник, который находится на кончике вашего пера. Пока вы работаете от руки в xournal++, одно нажатие клавиши отправляет вашу страницу в Claude, Gemini или GPT, которые проверяют работу прямо на экране, как учитель цветными карандашами. Вместо готовых ответов он даёт подсказки и может показать лежащую в основе идею в виде анимации в стиле 3Blue1Brown.
Проект создал студент-математик, уставший делать скриншоты своих решений, отправлять их в Claude и читать длинные ответы. Ему хотелось, чтобы рядом был преподаватель, который смотрит через плечо: обводит ошибки, ставит галочки у верных строк и подталкивает к следующему шагу. Penmentor делает это одним нажатием, используя собственную подписку Claude пользователя.
Дизайн обучения построен на подсказках, а не на ответах. Лесенка подсказок идёт от мягкого намёка к названию метода, а затем к слабому контуру следующей строки, чтобы думать приходилось самому ученику. Обратная связь указывает на первую настоящую ошибку, подчёркивает последующие строки, унаследовавшие её, и сохраняет пометки на странице до тех пор, пока их не удалит клавиша Esc. Режимы тренировки включают вопросы на припоминание, упражнения на поиск ошибок и вопросы вида «какой метод подходит?». Пользователи также могут выделить любое выражение, чтобы создать интерактивную анимацию manim, где можно двигать границы или вводить другие значения и смотреть, как сходятся суммы Римана.
Penmentor работает поверх существующих ИИ-агентов командной строки, включая Claude Code, Codex и Antigravity, а модель выбирается в настройках. Сейчас он ориентирован на Linux под X11, а для установки нужны rofi, slop, xdotool и PyQt6. Проект распространяется по лицензии MIT.
Источник: Hacker News · Сводку подготовил HeadlinesBriefing