Commit Graph
2 Commits
Author SHA1 Message Date
Dominik JainandDominik 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
Michael Panchenko 3584ce47eb Proper first implementation of mode and context setting, WIP 2025-05-23 17:34:46 +02:00