Files
serena/scripts/print_tool_overview.py
Dominik Jain 58bf161fd2 More flexible handling of enabled tools:
* In addition to exclusion, support notion of "optional tools" that
    are disabled by default and enabled only upon request
  * Unify the handling of inclusions/exclusions across
      - SerenaConfig
      - ProjectConfig
      - SerenaAgentContext
      - SerenaAgentMode
  * Make ToolRegistry a singleton and simplify all related operations
2025-07-06 00:39:36 +02:00

5 lines
107 B
Python

from serena.agent import ToolRegistry
if __name__ == "__main__":
ToolRegistry().print_tool_overview()