SAGE — Solver-Augmented Grounding EngineToolsNo tools have been extracted from the README or registry record yet.