最高のAIツールを見つけ出しましょう

Learn Shell は授業・カード・演習・採点・学習者情報を保持する教室をウェブと MCP で提供します。自前の環境と外部の指導エージェントが必要で、現行の単一マシン構成に認証はありません。

Say-it Pronounce は開発用語の出典付き辞書に音声・クイズ・CLI・エディター・MCP を組み合わせます。異なる読み方を残し OS 音声機能を利用しますが、全項目に出典や統一した発音があるわけではありません。

Pronunciation MCP Server はローカルで録音・文字起こしし、英語の発音・文法・流暢さと文練習を支援します。マイクとローカルモデルが必要で、助言は誤り得るため標準試験の評価ではありません。

ICTExam MCP は試験・成績・設問分析の参照と、任意の試験紙解析・公開を提供します。教員または管理者アカウントが必要で、書き込みは既定で無効、AI 解析は利用枠を消費します。

SCORM MCP Server は HTML 教材などを SCORM 2004/1.2 に包装し、進捗記録と検証を追加します。オフライン利用には必要な素材の同梱が必要で、設問単位の記録は LMS の対応に依存します。

Moodle MCP Server は Moodle Web Services に接続し、コース・登録・課題・ユーザー情報を読み取り専用で検索します。Web Services の有効化と API トークンが必要で、高度なレポート用プラグインはオープンソース本体とは別です。

Brightspace D2L MCP Server はブラウザー認証セッションでコース・期限・提出状況・成績・資料を読み取り専用で提供します。対応ブラウザーと学校ログインが必要で、小テストの受験状況は不明の場合があり、課題提出はできません。

Campus CLI はペルー UPC の Blackboard 向け非公式 CLI/MCP で、コース・課題・成績・教材へアクセスします。Campus アカウントと学生の大学 SSO セッションが必要で、Canvas/Moodle は計画段階です。

Canvas LMS MCP Server は Canvas API 経由でコース・課題・成績・期限などを提供し、オフライン索引用の一括出力にも対応します。トークンを要する単一ユーザー向け alpha 版で、ローカル実行でも学校の API に接続します。

MCP または CLI で AI エージェントに数式・数値計算、数学的主張の検査、SVG グラフを提供する。Node.js と対応する式の形式が必要で、計算機代数による検査は一般的な形式証明ではない。

mcp-gnu-units は同梱の GNU Units データベースと Python エンジンで、オフラインの次元付き単位換算、検索、定義参照を提供します。PyPI 公開版ではなくソースから導入するプレリリースで、GPL-3.0-or-later です。対応範囲は実装と定義に依存します。

gnomon-mcp は Python MCP で日付、時差、数学、統計、単位を決定論的に一括計算します。営業日は月曜から金曜として扱い、地域の祝日は考慮しません。自然言語の日付や単位にも曖昧でない入力が必要です。

Polymath MegaBlaster MCP は数学、統計、日付、単位、サブネット、トークン数をローカル計算する Node.js ツールです。計算に API キーは不要です。精度やトークナイザーの対応範囲は処理によって異なり、地理距離は地球モデルによる近似です。

Mathlas は数値検査、定数・数列の同定、定理検索、Lean による証明検査を AI クライアントに提供します。内部 LLM はなく、一部機能にはローカル OEIS データや Lean が必要で、定理検索は外部サービスも利用します。

MathMethods MCP は求根・積分・微分・補間・微分方程式の数値計算を AI クライアントに提供します。各手法の条件に基づく近似値であり、記号的証明や収束を保証しません。

mcp-abacus は MCP で式評価、数値解法、曲線近似を提供し、固定小数点、浮動小数点、有理数、複素数を選べます。精度情報を返しますが、操作範囲はモードや解法次第です。厳密という表示は式や前提の正しさを証明しません。

言語モデルアシスタントによるLeanにおける定理証明。

幾何定理証明器。言語モデルと記号推論エンジンを組み合わせたもの。

GitHub Actionで言語モデルを使用してローカライズ文字列を翻訳し、結果をコミットするものです。XLIFFやJSONなどの形式をサポートします。

Claude認定アーキテクト試験向け無料の資格準備で、シナリオベースの質問とガイド付きキャピストーン構築。

Plot Arkは、高等教育のための自社でホストされるエージェント型カリキュラムエンジンであり、教義的根拠のあるコースコンテンツを生成します。

D2L Brightspace LMS用のMCPサーバーで成績、提出期限、課題などを確認します。

数学演算、統計、可視化、持続的なワークスペースのための教育用MCPサーバーです。

Large Language Modelsを使用してカスタム知識グラフを構築する方法を示すPythonノートブックです。