{"name":"FormalChat Server","docs":"/docs","health":"/health"}