GitHubで注目のオープンソースAIツール&エージェントスキルトップ5(2026年7月)