Repolode
AbdullahAlhariri

AbdullahAlhariri/penmentor

手書きの途中式に答えではなくヒントを書き込み、manimでアイデアをアニメーション化できるAI数学メンター。

スター
68
フォーク
3
未解決の Issue
0
最終コミット
17 時間前

これは何?

penmentorは、手書きで数学を勉強するためのデスクトップ補助ツールです。ペンタブレットで書いているときにキーを押すと、現在のページがAIモデルに送られ、先生が色ペンで添削するように画面上へ書き込みます。最初の本当の間違いを丸で囲み、正しい行にチェックを付け、その間違いに依存する後続の手順には下線を引きます。ヒントは軽い促しから手法の提示まで段階的に出せるほか、思い出すための質問や間違い探しの練習問題も出せます。

ページの一部を囲むと、3Blue1Brownのmanimライブラリを使ったインタラクティブなアニメーションが生成されます。たとえば、積分区間をドラッグしたり、リーマン和が収束する様子を見たりできます。このツールはX11上のLinuxでxournal++を使うことを想定しており、モデルが表示範囲だけでなくページ全体を認識できるよう、小さなプラグインも付属します。

別途APIキーを用意するのではなく、既存のAIコマンドラインエージェントを利用します。対応するのはClaude Code、Codex、Antigravity CLIで、Settingsでモデルのプレフィックスを指定して選択します。セットアップには、いずれかのエージェントにログインしておくことに加え、rofi、slop、xdotool、PyQt6が必要です。

主な機能

  • 01手書きの途中式を画面上で添削し、最初の間違いを丸で囲んで正しい行にチェックを付けます。
  • 02答えをそのまま示すのではなく、段階的なヒントを出します。
  • 03ページ上で囲んだ範囲から、インタラクティブなmanimアニメーションを生成します。
  • 04モデルのプレフィックスを使ってClaude Code、Codex、Antigravity CLIと連携します。
  • 05モデルがページ全体を認識できるxournal++プラグインが付属します。
  • 06思い出すための質問や、間違い探しの練習を提供します。

ユースケース

  • xournal++とペンタブレットを使い、微積分などの数学を手書きで勉強する。
  • 解答をチャット画面に貼り付けずに、宿題の途中式についてフィードバックを得る。
  • 積分や極限などの概念を、インタラクティブなアニメーションで視覚化する。

クイックスタート

  1. 1

    リポジトリをクローンする

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

    セルフテストを実行する

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

    ウィンドウマネージャーで bin/penmentor をキーに割り当てる(i3 の例とガイドを参照)

使う前に知っておきたいこと

  • Linux の X11 のみ対応。i3 での使用を推奨します。
  • インストール済みでログイン済みのエージェント CLI(claude、codex、agy)に加え、rofi、slop、xdotool、PyQt6 が必要です。
  • README に記載されている xournal++ のワークフローを通じて動作します。

トピック

よくある質問

penmentor とは?
手書きの途中式に答えではなくヒントを書き込み、manimでアイデアをアニメーション化できるAI数学メンター。 penmentorは、手書きで数学を勉強するためのデスクトップ補助ツールです。ペンタブレットで書いているときにキーを押すと、現在のページがAIモデルに送られ、先生が色ペンで添削するように画面上へ書き込みます。最初の本当の間違いを丸で囲み、正しい行にチェックを付け、その間違いに依存する後続の手順には下線を引きます。ヒントは軽い促しから手法の提示まで段階的に出せるほか、思い出すための質問や間違い探しの練習問題も出せます。
penmentor は無料で使えますか?ライセンスは?
penmentor は MIT ライセンスのオープンソースです。商用製品で使う前にライセンス条件を確認してください。
penmentor は今もメンテナンスされていますか?
活発にメンテナンス中。penmentor の最終コミットは 2026年10月20日 です。
penmentor は何に使えますか?
xournal++とペンタブレットを使い、微積分などの数学を手書きで勉強する。 解答をチャット画面に貼り付けずに、宿題の途中式についてフィードバックを得る。 積分や極限などの概念を、インタラクティブなアニメーションで視覚化する。
penmentor のインストール方法は?
リポジトリをクローンする: git clone https://github.com/AbdullahAlhariri/penmentor ~/src/penmentor セルフテストを実行する: ~/src/penmentor/bin/penmentor --selftest ウィンドウマネージャーで bin/penmentor をキーに割り当てる(i3 の例とガイドを参照)
penmentor はどこで入手できますか?
ソースコードとインストール手順は GitHub にあります:https://github.com/AbdullahAlhariri/penmentor

概要はプロジェクトの README をもとに AI が生成しています。GitHub の数値は毎日更新されます。

関連プロジェクト