As of the last boot — this page never calls the servers.
{% if servers %}failed to load
{{ server.error }}
{% else %}
{{ server.tools | length }} {{ "tool" if server.tools | length == 1 else "tools" }} {%- if server.mode == "lazy" %} · meta-tools only, the real catalog is fetched on demand{% endif %}
{{ server.instructions }}
no servers configured
{% endif %}