1[logging]
 2format = 'text'
 3level = 'info'
 4
 5[planning]
 6history_enabled = true
 7max_goal_length = 1000
 8max_task_length = 500
 9max_tasks = 100
10
11[server]
12host = 'localhost'
13mode = 'stdio'
14port = 8080