+
+ {descriptor.name}
+
+
{descriptor.scope}
+
+
+ {descriptor.description}
+
+ {descriptor.blockedReason && (
+
+ {descriptor.blockedReason}
+
+ )}
+
+ {!descriptor.executable &&
blocked}
+
+ );
+}
+
+function WorkflowDefinitionList(props: { workflows: WorkflowDefinitionDescriptor[] }) {
+ return (
+
+
+ {descriptor.name}
+ {descriptor.scope}
+ {!descriptor.executable && blocked}
+
+ {!props.compact && (
+
{descriptor.description}
+ )}
+ {descriptor.sourcePath && (
+
+ {descriptor.sourcePath}
+
+ )}
+ {descriptor.blockedReason && (
+
{descriptor.blockedReason}
+ )}
+
+ );
+}
+
+function isWorkflowListSuccessResult(
+ value: WorkflowListToolResult | undefined
+): value is WorkflowListToolSuccessResult {
+ return value != null && !isToolErrorResult(value);
+}
+
+function isWorkflowReadSuccessResult(
+ value: WorkflowReadToolResult | undefined
+): value is WorkflowReadToolSuccessResult {
+ return value != null && !isToolErrorResult(value);
+}
+
+function WorkflowLoadingState() {
+ return (
+