Penmentor est un mentor en mathématiques qui se trouve au bout de votre stylo. Pendant que vous travaillez à la main dans xournal++, une seule pression de touche envoie votre page à Claude, Gemini ou GPT, qui corrige votre travail à l'écran comme un professeur avec des stylos de couleur. Au lieu de vous donner les réponses, il propose des indices et peut montrer l'idée sous-jacente grâce à une animation dans le style de 3Blue1Brown.
Le projet a été créé par un étudiant en calcul différentiel lassé de faire des captures d'écran de ses exercices pour les envoyer à Claude et lire de longues réponses. Ce qu'il voulait, c'était un professeur qui regarde par-dessus son épaule : entourer les erreurs, cocher les lignes correctes et l'orienter vers l'étape suivante. Penmentor fait cela d'une simple touche, en utilisant l'abonnement Claude personnel de l'utilisateur.
La conception pédagogique privilégie les indices plutôt que les réponses. Une échelle d'aide va d'une légère incitation à la mention de la technique à employer, puis à un faible fantôme de la ligne suivante, afin que l'élève fasse lui-même le raisonnement. Les retours portent sur la première vraie erreur, soulignent les lignes suivantes qui en héritent et laissent les annotations sur la page jusqu'à ce que la touche Échap les efface. Les modes d'entraînement comprennent des questions de rappel, des exercices de repérage d'erreurs et des questions du type « quelle technique convient ? ». Les utilisateurs peuvent aussi encadrer une expression pour générer une animation manim interactive, dans laquelle ils peuvent déplacer les bornes ou modifier les valeurs et observer la convergence des sommes de Riemann.
Penmentor fonctionne avec des agents en ligne de commande d'IA existants, dont Claude Code, Codex et Antigravity, et le modèle se choisit dans les paramètres. Il cible actuellement Linux sous X11, et son installation nécessite rofi, slop, xdotool et PyQt6. Le projet est publié sous licence MIT.
Source: Hacker News · Résumé par HeadlinesBriefing