書籍『Build a Large Language Model (From Scratch)』のサンプルコード。PyTorchでGPT風LLMを段階的に実装します。
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
リポジトリをクローンする
git clone https://github.com/AbdullahAlhariri/penmentor ~/src/penmentor - 2
セルフテストを実行する
~/src/penmentor/bin/penmentor --selftest - 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 の数値は毎日更新されます。
関連プロジェクト
ピクセルを直接生成するのではなく、実行可能なManimコードを書いて教育動画を作るエージェント型フレームワーク。
AIエージェントがWebページを検索・スクレイピングして操作し、整形済みのMarkdown、JSON、スクリーンショットを取得できるAPI。
LLMエージェントの会話や実行内容を、PythonおよびTypeScriptアプリ向けの永続的で構造化されたメモリに変換する、エージェントネイティブなメモリ基盤です。
オンデマンドで埋め込みを再計算し、ストレージを約97%削減するローカルベクトルインデックス兼RAGツールキット。ノートPC上の個人データを検索できます。
AIエージェントの構築・実行に向けたエンタープライズ向けエージェントワークフロープラットフォーム。モデル管理、MCPツール連携、RPA自動化に対応。