Penmentor AI数学メンター:手書き作業へのリアルタイムフィードバック

Penmentor:手書き数学のためのAIメンター

Penmentorは、手書きの数学作業に対して、教師のような詳細なフィードバックを提供するように設計された専門的なAIツールです。手書きアプリケーションと統合することで、ユーザーは手書きで作業しながら即時のガイダンス、誤りの訂正、概念の視覚化を受けることができます。

中核機能とユーザーエクスペリエンス

Penmentorは、Xournal++などの手書きアプリケーションで作業中にキーを押すことで動作します。この操作により、AIが手書きの数学スリップを分析し、ページ上に直接マークを付けます。このシステムは以下の主要な機能をサポートしています:

  • ガイド付きフィードバック: AIは色付きペンで作業をマークし、誤りを丸で囲み、正しい行にチェックを入れることで、教師のレビューを模倣します。
  • 概念アニメーション: ユーザーは特定の数学的概念をボックスで囲むことで、Manimライブラリを使用して3Blue1Brownが生成するようなインタラクティブなアニメーションを生成できます。
  • ページ全体の認識: このツールはXournal++プラグインを使用してページ全体のコンテンツをAIと共有し、現在表示されている画面領域を超えてコンテキストが維持されることを保証します。

教育学的アプローチ:足場掛けによる学習

Penmentorは単に答えを提供するだけでなく、ユーザーを問題解決プロセスを通じて導くことで深い学習を促進するように設計されています。このシステムはいくつかの教育学的テクニックを採用しています:

  • 答えよりもヒント: フィードバックメカニズムは、単純なヒントから必要なテクニックの名前を挙げるまで、 progressive なサポートの梯子を提供し、知識が定着するために必要な批判的思考をユーザーが確実に行えるようにします。
  • 詳細な誤り追跡: システムは、誤りの正確なポイントを丸で囲んだり、正しいステップにチェックを入れたり、初期の誤りを受け継ぐ後続の行に下線を引いたりするなど、誤りに関する具体的なフィードバックを提供します。
  • 練習ドリル: Penmentorは、誤りを見つけるドリルや、ユーザーが適切な数学的テクニックを特定する必要がある質問など、さまざまな練習モードをサポートしています。

技術アーキテクチャとLLM統合

Penmentorは既存のAIコマンドラインエージェント上で動作するように構築されており、ユーザーは現在のサブスクリプションと好みのモデルを活用できます。このツールは、手書き入力を選択したエージェントにルーティングして処理するインターフェースとして機能します。

このシステムは3つの主要なエージェントプレフィックスをサポートしています:

プレフィックス エージェント モデル例
claude: Claude Code claude:opus, claude:sonnet, claude:haiku
codex: Codex codex:gpt-5.6-terra
agy: Antigravity CLI agy:gemini-4-argon-medium, agy:gemini-3.8-flash-medium

ユーザーは設定メニューから希望のエージェントを選択します。基礎となるメカニズムはプロジェクトガイドに詳述されており、ツールが選択したAIエージェントとどのように相互作用するか、およびモデルと共有されるデータについて説明されています。

インストールとシステム要件

Penmentorが正しく機能するには特定の環境が必要です。Linux on X11向けに設計されており、最適なパフォーマンスのためにi3ウィンドウマネージャが推奨されています。

前提条件

Penmentorを実行するには、以下のコンポーネントが必要です:

  • X11を実行するLinuxオペレーティングシステム。
  • インストールされたAIエージェント(Claude Code、Codex、またはAntigravity CLI)。
  • 必要な依存関係:rofi, slop, xdotool, および PyQt6。

クイックスタート

初期セットアップには、リポジトリのクローンとセルフテストの実行が含まれます:

git clone https://github.com/AbdullahAlhariri/penmentor ~/src/penmentor
~/src/penmentor/bin/penmentor --selftest

セットアップ後、bin/penmentor 実行可能ファイルをユーザーのウィンドウマネージャ設定(例:i3設定ファイル)内の特定のキーにバインドする必要があります。

ライセンス

PenmentorはMITライセンスの下でリリースされています。

Sources