Function isTodoTool

app/src/modules/todo.js:175–177

(name)

}

export function isTodoTool(name) {
  return name === 'TaskCreate' || name === 'TaskUpdate' || name === 'TaskList' || name === 'TaskGet';
}

export function renderTodoPanel() {
  const panel = $('todo-panel');