GitHub MCP Server: GitHub's official MCP Server connects AI agents directly to GitHub, enabling natural language interactions with repositories, issues, pull requests, code search, Actions workflows, and security findings. Built for developers who want to bring GitHub context into AI assistants — from simple queries to complex multi-step agent workflows. Available as a remote server or self-hosted Docker container.; ir-sim: IR-SIM is an open-source, Python-based robot simulator tailored for navigation, control, and reinforcement learning. It offers a lightweight, user-friendly framework for rapid prototyping with built-in collision detection, ideal for academic and educational purposes.
AI-assisted code review, issue triage, and PR management in GitHub
Simulating multi-robot collision avoidance strategies and group behaviors.