Repolode
Enviar
AbdullahAlhariri

AbdullahAlhariri/penmentor

Um mentor de matemática com IA que anota seu trabalho manuscrito na tela com dicas, sem dar as respostas, e anima conceitos com manim.

Ver no GitHub
Estrelas
68
Forks
3
Issues abertas
0
Último commit
há 17 horas

O que é?

penmentor é um assistente de desktop para estudar matemática à mão. Enquanto você escreve em uma mesa digitalizadora, pressionar uma tecla envia a página atual para um modelo de IA, que anota o trabalho na tela como um professor faria com canetas coloridas: circula o primeiro erro de fato, marca as linhas corretas e sublinha as etapas posteriores que dependem do erro. As dicas seguem uma escala, desde um toque sutil até a indicação da técnica, e a ferramenta também pode fazer perguntas para testar a memória ou propor exercícios de encontrar o erro.

Selecionar uma área da página gera uma animação interativa com a biblioteca manim do 3Blue1Brown, como arrastar os limites de integração ou acompanhar as somas de Riemann convergindo. A ferramenta foi criada para o xournal++ no Linux com X11 e inclui um pequeno plugin para que o modelo veja a página inteira, e não apenas a área visível.

Ela usa agentes de linha de comando de IA já instalados, sem exigir uma chave de API separada: Claude Code, Codex e Antigravity CLI, selecionados pelo prefixo do modelo nas Settings. Para configurar, é necessário ter uma dessas ferramentas com sessão iniciada, além de rofi, slop, xdotool e PyQt6.

Recursos principais

  • 01Anota o trabalho manuscrito na tela: circula o primeiro erro e marca as linhas corretas.
  • 02Dá dicas graduais em vez de respostas completas.
  • 03Gera animações interativas com manim a partir de uma área delimitada da página.
  • 04Funciona com Claude Code, Codex e Antigravity CLI por meio de prefixos de modelo.
  • 05Inclui um plugin para xournal++ para que o modelo veja a página inteira.
  • 06Oferece perguntas para testar a memória e exercícios de encontrar o erro.

Casos de uso

  • Estudar cálculo ou outros tópicos de matemática à mão, em uma mesa digitalizadora e no xournal++.
  • Receber feedback sobre as etapas de um dever de casa sem copiar o trabalho para uma janela de chat.
  • Visualizar um conceito, como uma integral ou um limite, em uma animação interativa.

Início rápido

  1. 1

    Clone o repositório

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

    Execute o teste automático

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

    Associe bin/penmentor a uma tecla no seu gerenciador de janelas (consulte o exemplo de i3 e o guia)

Antes de usar

  • Funciona apenas no Linux com X11; o uso com i3 é recomendado.
  • Requer um agente CLI instalado e com sessão iniciada (claude, codex ou agy), além de rofi, slop, xdotool e PyQt6.
  • Funciona por meio do fluxo de trabalho do xournal++ descrito no README.

Tópicos

#ai#math#education#manim#xournal#handwriting#llm#linux

Perguntas frequentes

O que é penmentor?
Um mentor de matemática com IA que anota seu trabalho manuscrito na tela com dicas, sem dar as respostas, e anima conceitos com manim. penmentor é um assistente de desktop para estudar matemática à mão. Enquanto você escreve em uma mesa digitalizadora, pressionar uma tecla envia a página atual para um modelo de IA, que anota o trabalho na tela como um professor faria com canetas coloridas: circula o primeiro erro de fato, marca as linhas corretas e sublinha as etapas posteriores que dependem do erro. As dicas seguem uma escala, desde um toque sutil até a indicação da técnica, e a ferramenta também pode fazer perguntas para testar a memória ou propor exercícios de encontrar o erro.
penmentor é gratuito? Qual é a licença?
penmentor é open source sob a licença MIT. Confira os termos da licença antes de usá-lo em produtos comerciais.
penmentor ainda é mantido?
Manutenção ativa. O último commit de penmentor foi em 20 de out. de 2026.
Para que posso usar penmentor?
Estudar cálculo ou outros tópicos de matemática à mão, em uma mesa digitalizadora e no xournal++. Receber feedback sobre as etapas de um dever de casa sem copiar o trabalho para uma janela de chat. Visualizar um conceito, como uma integral ou um limite, em uma animação interativa.
Como instalar penmentor?
Clone o repositório: git clone https://github.com/AbdullahAlhariri/penmentor ~/src/penmentor Execute o teste automático: ~/src/penmentor/bin/penmentor --selftest Associe bin/penmentor a uma tecla no seu gerenciador de janelas (consulte o exemplo de i3 e o guia)
Onde consigo penmentor?
O código-fonte e as instruções de instalação estão no GitHub: https://github.com/AbdullahAlhariri/penmentor

Resumo gerado por IA a partir do README do projeto. As estatísticas do GitHub são atualizadas diariamente.

Projetos relacionados