GitHub repository: jupyter-ai-contrib/jupyter-server-ai-tools
Primary language: Python
Description: A Jupyter Server extension for discovering tools across extensions.