O Penmentor é um mentor de matemática que fica na ponta da sua caneta. Enquanto você trabalha à mão no xournal++, um único toque de tecla envia sua página ao Claude, Gemini ou GPT, que corrige seu trabalho na tela como um professor com canetas coloridas. Em vez de entregar as respostas, ele oferece dicas e pode mostrar a ideia subjacente por meio de uma animação no estilo 3Blue1Brown.
O projeto foi criado por um estudante de cálculo cansado de tirar capturas de tela do seu trabalho para enviar ao Claude e ler respostas longas. O que ele queria era um professor olhando por cima do seu ombro: circulando erros, marcando as linhas corretas e empurrando-o gentilmente para o próximo passo. O Penmentor faz isso com uma tecla, usando a assinatura pessoal do Claude do usuário.
O design de aprendizagem se concentra em dicas, e não em respostas. Uma escada de apoio vai de um empurrão suave, passando por nomear a técnica, até um leve esboço da próxima linha, para que o estudante faça o raciocínio. O feedback mira o primeiro erro real, sublinha as linhas seguintes que herdam o erro e mantém as marcas na página até que se pressione Esc para limpá-las. Os modos de prática incluem perguntas de revisão, exercícios de encontrar o erro e perguntas do tipo "qual técnica se aplica?". Os usuários também podem envolver qualquer expressão para gerar uma animação interativa manim, na qual podem arrastar os limites ou redigitar valores e ver as somas de Riemann convergirem.
O Penmentor funciona com agentes de linha de comando de IA já existentes, incluindo Claude Code, Codex e Antigravity, e o modelo é escolhido nas Configurações. Atualmente tem como alvo o Linux no X11, e a instalação exige rofi, slop, xdotool e PyQt6. O projeto é lançado sob a licença MIT.
Fonte: Hacker News · Resumido por HeadlinesBriefing