2026年3月21日のGitHub Trendingは、AIエージェント関連ツールが席巻しています。新規リポジトリではLean 4向け数学証明ツールやApp Store申請前チェッカーなど実用的なプロジェクトが登場。急成長部門では「superpowers」がついに10万スターを突破し、エージェント開発のデファクトスタンダードとしての地位を確立しました。Python、TypeScript、Shellが上位言語で、マルチエージェントシステムやClaude Code連携ツールへの関心の高さがうかがえます。
math-inc/OpenGauss（★417）は、Lean 4向けの数学証明ワークフローオーケストレーターです。複数のAIエージェントを活用して証明の自動化・形式化を行い、数学者がツール設定を気にせず証明に集中できる環境を提供します。Math社による開発で、形式的証明とAIの融合という新しい領域を切り開いています。
truongduy2611/app-store-preflight-skills（★345）は、iOS/macOSアプリの申請前チェックを行うAIエージェントスキルです。100以上のAppleレビューガイドラインをカバーし、リジェクトされる可能性のあるパターンを事前に検出します。App Store申請で何度も弾かれた経験のある開発者には朗報でしょう。
phlx0/drift（★115）は、ちょっと変わり種のターミナル用スクリーンセーバーです。アイドル時に星座、雨、パーティクルなど6種類のアニメーションを表示し、Nord、Draculaなど7つのカラーテーマに対応。Go製でシンプルにインストールでき、ターミナル作業の合間に癒しを提供してくれます。
obra/superpowers（★101,543）が、ついに10万スターの大台を突破しました。週間で+19,921スター、今日だけで+2,819スターという驚異的な成長を見せています。AIエージェント向けの包括的なソフトウェア開発ワークフローフレームワークで、7段階の開発プロセス（ブレスト→実装→テスト→レビュー）をスキルとして提供。Claude Code、Cursor、Codexなど複数のAI開発環境に対応しており、エージェント開発のデファクトスタンダードとして定着しました。
666ghj/MiroFish（★37,201）は、週間+16,022スターで急上昇中の群知能プラットフォームです。数千のAIエージェントがそれぞれ個性・記憶・行動特性を持ち、デジタルワールドでシミュレーションを行います。政策分析から小説の結末予測まで幅広く応用可能で、Hacker Newsでも話題になりました。Shanda Groupの支援を受けており、群知能×LLMの新しいアプローチとして注目を集めています。
lightpanda-io/browser（★22,653）は、週間+8,189スターを記録したZig製ヘッドレスブラウザです。AIエージェントとWeb自動化に最適化されており、Chromeの9分の1のメモリ使用量、11倍の高速化を実現。Puppeteer/Playwright互換のCDP対応で、既存のテストコードをそのまま使えます。
言語分布を見ると、Python（7件）とTypeScript（6件）が圧倒的で、Shell（3件）、Go（3件）、JavaScript（3件）が続きます。これはAIエージェント開発においてPythonがバックエンド、TypeScriptがフロントエンド・プラグイン開発で主流となっていることを反映しています。
トレンドテーマとしては「AIエージェントフレームワーク・スキル」「Claude Code連携ツール」「マルチエージェントシステム」が上位を占めています。特に注目すべきは、OpenCodeとClaude Codeの認証連携（opencode-claude-auth）やCursor連携（opencode-cursor）など、AIコーディングツール間の相互運用性を高めるプロジェクトが複数登場していることです。AIツールの乱立から統合・連携の時代へと移行しつつある兆候と言えるでしょう。
新規リポジトリ
急成長リポジトリ