| 133 | |
| 134 | |
| 135 | def _print_tools() -> None: |
| 136 | from rich.table import Table |
| 137 | |
| 138 | table = Table( |
| 139 | box=box.SIMPLE_HEAD, |
| 140 | border_style="#1e293b", |
| 141 | header_style="bold #00ff88", |
| 142 | show_header=True, |
| 143 | ) |
| 144 | table.add_column("Tool", style="#f1f5f9") |
| 145 | table.add_column("Method", style="dim") |
| 146 | table.add_column("Finds", style="#94a3b8") |
| 147 | |
| 148 | for row in _TOOL_INFO_ROWS: |
| 149 | table.add_row(*row) |
| 150 | |
| 151 | console.print() |
| 152 | console.print(table) |
| 153 | console.print() |
| 154 | |
| 155 | |
| 156 | def _print_tool_call(name: str, args: dict[str, Any]) -> None: |