+
+
+
+ updateServer(server.id, {
+ url: event.currentTarget.value
+ })}
+ />
+
+
+
+
+
+ {
+ const parsed = Number(event.currentTarget.value);
+ updateServer(server.id, {
+ requestTimeoutSeconds:
+ Number.isFinite(parsed) && parsed > 0
+ ? parsed
+ : defaultMcpConfig.requestTimeoutSeconds
+ });
+ }}
+ />
+
+
+
+
+
+ {#if healthState.status === 'loading'}
+
+
+ Running health check...
+
+ {:else if isErrorState(healthState)}
+
+ Health check failed: {healthState.message}
+
+ {:else if isSuccessState(healthState)}
+ {#if healthState.tools.length === 0}
+
No tools returned by this server.
+ {:else}
+
+
+ Available tools ({healthState.tools.length})
+
+
+ {#each healthState.tools as tool (tool.name)}
+ -
+
+ {tool.name}
+
+ {tool.description ?? 'No description provided.'}
+
+ {/each}
+
+
+ {/if}
+ {/if}
+