Penmentor es un mentor de matemáticas que está en la punta de tu lápiz. Mientras trabajas a mano en xournal++, una sola pulsación envía tu página a Claude, Gemini o GPT, que corrige tu trabajo en pantalla como un profesor con lápices de colores. En lugar de darte las respuestas, ofrece pistas y puede mostrar la idea subyacente mediante una animación al estilo 3Blue1Brown.
El proyecto lo creó un estudiante de cálculo cansado de hacer capturas de sus ejercicios para enviarlas a Claude y leer respuestas largas. Lo que buscaba era un profesor mirando por encima de su hombro: marcar los errores, tachar las líneas correctas e impulsarle hacia el siguiente paso. Penmentor hace esto con una sola tecla, usando la suscripción personal de Claude del usuario.
El diseño de aprendizaje se centra en las pistas y no en las respuestas. Una escalera de ayudas va desde un empujón suave, pasando por nombrar la técnica, hasta un tenue esbozo de la siguiente línea, para que sea el estudiante quien piense. La retroalimentación se dirige al primer error real, subraya las líneas posteriores que heredan el fallo y mantiene las marcas en la página hasta que se pulsa Esc para borrarlas. Los modos de práctica incluyen preguntas de recuerdo, ejercicios para encontrar el error y preguntas del tipo «¿qué técnica encaja?». Los usuarios también pueden enmarcar cualquier expresión para generar una animación interactiva manim, donde pueden arrastrar los límites o reescribir valores y observar cómo convergen las sumas de Riemann.
Penmentor funciona con agentes de línea de comandos de IA ya existentes, como Claude Code, Codex y Antigravity, y el modelo se elige en Ajustes. Actualmente está orientado a Linux sobre X11, y su instalación requiere rofi, slop, xdotool y PyQt6. El proyecto se publica bajo la licencia MIT.
Fuente: Hacker News · Resumido por HeadlinesBriefing