Constructor de Contratos de Proveedores de Decision Gate
Cree contratos de proveedor que definan las verificaciones del proveedor (evidencia consultable) con reglas de comparador en modo estricto. Esta herramienta nunca llama a la red y nunca almacena datos fuera de su sesión de navegador.
Lo que esto produce
- Un contrato de proveedor único en formato JSON (el archivo que envías junto con un proveedor MCP).
- Listas de permitidos del comparador en modo estricto basadas en el tipo de valor devuelto.
- Esquemas y metadatos alineados con el contrato de Decision Gate.
Modelo de validación
- El modo estricto aplica la matriz de compatibilidad del comparador derivada del tipo de valor devuelto.
- El modo permisivo permite comparadores inseguros pero los marca como advertencias.
- El análisis del esquema y la validación del comparador se realizan localmente en el navegador.
Espacio de trabajo del constructor
El generador interactivo se carga a continuación. Se ejecuta completamente en su navegador, nunca llama a la red y nunca almacena datos fuera de su sesión.
Copiar JSONDescargarRedimensionar panel de vista previaRedimensionar vista previaTutorialComponer selecciónBorrar selecciónCombina los módulos de proyección de AssetCore para sembrar un contrato completo de proveedor.MódulosInventario escalar más rejillas espaciales 2D.0D + 2DSaldo + espacios para el estado del inventario escalar.0D CoreTopología de contenedor 1D discreta.Rejilla 1DTopología de contenedor 2D discreto.Rejilla 2DGeometría continua 1D + 2D de punto fijo.Geometría ContinuaTodas las proyecciones discretas y continuas.Activo Completo de AssetCorePreajustesComposición de AssetCore cargada.Seleccione al menos un módulo de AssetCore.Advertencias de composición: se detectaron {count} discrepancia(s).{templates} módulos / {predicates} verificacionesSeleccione módulos para componer un contrato.0D1D2DBalanceContinuoDiscretoCuadrículaSlotsContenedores de saldo escalar con cantidades de punto fijo.0D BalanceContenedores de ranuras para ocupación discreta y mapeo de clases.0D SlotsRedes discretas 1D con datos de celdas indexadas.Rejilla 1D (Discreta)Rejillas 2D discretas con geometría y colocación de celdas.Cuadrícula 2D (Discreta)Geometría continua 1D con segmentos de punto fijo.1D ContinuoGeometría 2D continua con rectángulos de punto fijo.2D Continuo{count} comprobacionesComposición de AssetCoreEste generador produce un contrato de proveedor para Decision Gate.Elija una plantilla o defina la identidad del proveedor.Agregar verificaciones de proveedor y definir los tipos de valores devueltos y comparadores.Revise la validación, luego descargue o copie el contrato.Inicie su contrato de proveedorDefinir verificaciones de proveedores y reglas de comparación.ID del proveedor: {id}Constructor de contratos de proveedorPlantillasComience con una plantilla estricta y personalícela a partir de ahí.Nueva verificaciónTipos de anclajeAgregue tipos de anclaje si el proveedor emite anclajes estables.ruta_archivoAccionesComparadoresNombre de la verificaciónEntradas del proveedorTipo de valor devuelto{count} seleccionadosEl modo estricto desactiva los comparadores que entran en conflicto con el tipo de valor devuelto.Seleccionados: {list}No se han seleccionado comparadores aún.Comparadores permitidosTipos de contenidoAgregue al menos un tipo MIME.application/jsonVerificar descripciónDescriba el valor devuelto y cuándo debe ser utilizado.Explica qué devuelve esta verificación.DeterminismoDescribe si los resultados dependen del tiempo, del estado externo o permanecen estables.EditarDetalles de verificación del proveedorAún no hay comprobaciones de proveedor. Agrega una para definir tu primera señal.Seleccione o añada una verificación de proveedor para editar.DescripciónDescripción cortaParámetros (JSON){ "key": "value" }Resultado (JSON){ "ok": true }Añadir ejemploAún no hay ejemplos.Proporcionar parámetros y resultados de ejemplo para ayudar a las herramientas y a los autores.EjemplosEjemplo {index}Entradas del proveedorMatriz de comparadoresVerificar nombreUtilice snake_case en minúsculas. Referenciado por escenarios (por ejemplo, team_id).p. ej. team_idDeclare anclajes de evidencia y tipos de contenido devueltos por esta verificación.Salidas de evidenciaEntradas del proveedor opcionalesEntradas del proveedor requeridasIndique si se deben proporcionar los EvidenceQuery.params para obtener el valor.Esquema de entrada del proveedorEliminar¿Eliminar {name}? Esto no se puede deshacer.Eliminar verificación del proveedorTipo de valor devuelto{nombre} | {tipo} | {cantidad} comparadoresCada verificación de proveedor define una señal consultable, su tipo de valor devuelto y los comparadores permitidos.Comprobaciones del proveedorTipo de valor devuelto: {type}UniónComprobación sin títuloComprobaciones del proveedor ({count})Comparadores seleccionadosValidación limpia{count} error(es) aún necesitan atención.Verificar nombresCompletar la lista de verificaciónIdentidad del proveedorAgregar un ID y nombre del proveedor.Listo para exportarPreparación para la exportaciónNo disponible para los valores devueltos de {type} en modo estricto.No compatible con los valores devueltos de {type}.Comparador de opt-in deshabilitado por política.Comparador de opt-in habilitado por política.Comparador de opt-in seleccionado sin habilitar la política.Haga clic para saltar al campo.Matriz de comparador de vistaCancelarEliminarse añadirán {count} comprobación(es).CancelarAplicar cambiosNo se detectaron cambios notables.Revise qué cambiará antes de reemplazar su contrato actual.Identidad del proveedor: {name} ({id}){count} comprobación(es) serán eliminadas.¿Aplicar {name}?desconocido{count} verificación(es) serán actualizadas.DescartarSe ha cargado su último borrador de constructor para esta pestaña.Borrador restauradoGuardado {time}Comenzar de nuevoSe requiere el nombre de la verificación.El nombre de la verificación debe estar en snake_case (letras minúsculas, números, guiones bajos).El esquema de configuración JSON no es válido: {error}{name}: los parámetros JSON del ejemplo {index} son inválidos.{name}: el JSON del resultado de ejemplo {index} es inválido.JSON no válido.JSON no válido: {detail}Seleccione al menos un comparador para {name}.Se requiere el ID del proveedor.Se requiere el nombre del proveedor.Modo estricto: {name} utiliza {invalid} comparadores que no coinciden con un valor devuelto de tipo {type}.AssetCore es un sustrato de memoria estructurada determinista que almacena el estado del mundo en contenedores tipados. La herramienta de composición te permite sembrar un contrato completo de proveedor de Decision Gate a partir de módulos de proyección de AssetCore.Elija preajustes para configuraciones comunes o seleccione módulos individuales para construir un proveedor personalizado. El contrato compuesto incluye todas las verificaciones del proveedor, esquemas y reglas de comparador necesarias para consultar el estado de AssetCore.¿Qué es la composición de AssetCore?Documentación de Asset CoreAprenda sobre el modelo de memoria deterministaGuía de desarrollo del proveedorConstruya y pruebe su contrato de proveedorCatálogo de plantillas de AssetCoreNavega por todos los módulos de proyección disponiblesLos módulos se corresponden con las topologías de contenedores de AssetCore (saldos, rejillas, geometría continua)Las verificaciones del proveedor están prevalidadas para la compatibilidad con el modo estrictoLos contratos compuestos están listos para capabilities_path en decision-gate.tomlConstruir proveedores de Decision Gate a partir de proyecciones de memoria estructuradaComience con un preset para prototipar rápidamente, luego personalice añadiendo o eliminando módulos individuales.Composición de AssetCoreCada módulo representa una familia de proyecciones de AssetCore. Seleccionar un módulo añade sus verificaciones de proveedor, esquemas de resultados y comparadores en modo estricto a su contrato compuesto.Los módulos son independientes y se pueden combinar libremente. El constructor fusiona automáticamente las comprobaciones de proveedores superpuestas y valida la compatibilidad de los comparadores.¿Qué son los módulos de AssetCore?Referencia de proveedoresCómo los proveedores exponen las verificacionesCatálogo de plantillas de AssetCoreDocumentación detallada de verificación y esquema0D Balance: Cantidades de punto fijo en contenedores escalares0D Slots: Ocupación discreta y mapeo de clasesRejilla 1D / 2D: Indexación espacial basada en celdasGeometría de segmentos y rectángulos de punto fijo 1D / 2D continuaFamilias de proyección individuales para un control detalladoPasa el cursor sobre una tarjeta de módulo para ver su conteo de verificaciones antes de seleccionar.Módulos de AssetCoreLos presets son paquetes curados de módulos de AssetCore diseñados para topologías de contenedores específicas. Te proporcionan un contrato de proveedor funcional con un solo clic.Después de aplicar un ajuste preestablecido, aún puedes añadir o eliminar módulos individuales. Los ajustes preestablecidos son un punto de partida, no una restricción.¿Qué son los preajustes de AssetCore?Conceptos del modelo centralComprender la arquitectura de Decision GateCatálogo de plantillas de AssetCoreVer todos los módulos incluidos en cada preset0D Core: Inventario escalar (saldos + espacios)Rejilla 1D / 2D: Contenedores espaciales discretosContinuo: Geometría de punto fijo (líneas, rectángulos)AssetCore Completo: Todas las proyecciones combinadasPaquetes de módulos preconfigurados para casos de uso comunesEl preset "0D + 2D" es ideal para juegos con sistemas de inventario y colocación espacial en 2D.Preajustes de AssetCoreUtilice este panel para nombrar la verificación, describir su comportamiento y establecer el tipo de valor devuelto.Los cambios actualizan la vista previa del contrato y la validación de inmediato.¿Cómo edito un cheque?Guía del constructorGuía de cada sección del editorDesarrollo del proveedorPatrones de esquema y ejemplosCambiar los nombres de verificación rompe los escenarios existentesLas descripciones deben explicar el valor devueltoEdita un chequeo de proveedor a la vezPrefiera verificaciones pequeñas y enfocadas en lugar de grandes capturas generales.Comprobar editorCada verificación del proveedor declara un nombre, tipo de valor devuelto, comparadores permitidos e inputs opcionales del proveedor.Los predicados de escenario hacen referencia a estas verificaciones por nombre al construir puertas.¿Qué es una verificación de proveedor?Guía del constructorCómo redactar contratos de proveedoresAutorización de condiciones de escenarioCómo los escenarios utilizan las verificacionesDesarrollo del proveedorImplementar proveedores de evidenciaVerificar que los nombres se correspondan con EvidenceQuery.predicateEl tipo de valor devuelto determina la compatibilidad del comparadorLas entradas son parámetros necesarios para obtener evidenciaDefine cada chequeo consultable que su proveedor puede responderCambiar los nombres de las verificaciones más tarde rompe los escenarios existentes.Comprobaciones del proveedorLos comparadores deciden cómo se prueba EvidenceResult.value en ScenarioSpec.El modo estricto bloquea los comparadores que no coinciden con el tipo de valor devuelto.¿Qué son los comparadores?Autorización de condiciones de escenarioCómo los escenarios aplican comparadoresFormas de datosReglas de compatibilidad de comparadoresComience con equals y not_equalsAgregar ordenación solo para tipos numéricos o de fechaDefine cómo los escenarios comparan los valores devueltosMantenga la lista de comparadores pequeña para reducir la ambigüedad del escenario.Comparadores permitidosLos tipos de anclaje describen identificadores estables que puedes utilizar para verificación o auditoría fuera de línea. Los tipos de contenido declaran el tipo MIME de cualquier carga útil de evidencia.Si el proveedor no emite anclajes, deje los tipos de anclaje vacíos. Si el proveedor devuelve contenido que no es JSON, enumere los tipos de contenido correctos.¿Qué son las salidas de evidencia?Referencia del registro de auditoríaAuditoría de evidencia y anclajesDesarrollo del proveedorRequisitos del contrato de capacidadLos tipos de anclaje permiten la trazabilidad de grado de auditoríaLos tipos de contenido admiten la divulgación y la corrección de herramientasDeclarar anclajes y tipos de contenido devueltos por el proveedorPara la mayoría de los proveedores de JSON, comience con application/json y añada más solo cuando sea necesario.Salidas de evidenciaLos ejemplos emparejan parámetros con resultados representativos para que las herramientas puedan renderizar orientación y validar suposiciones de comparadores.Mantenga los ejemplos mínimos y deterministas. Evite secretos o datos en vivo.¿Por qué añadir ejemplos?Autorización de predicadosCómo los predicados utilizan las verificaciones del proveedorDesarrollo del proveedorEjemplo de orientación sobre el esquemaUtilice un ejemplo por cada forma de resultado principalCoincidir con las reglas de params_required (omitir params cuando no sean necesarios)Los ejemplos ayudan a los autores de escenarios y a las herramientas a validar expectativasLos ejemplos son opcionales, pero se recomiendan encarecidamente para la redacción de LLM.EjemplosEsta vista previa coincide con el esquema cargado desde capabilities_path.Copie o descargue el JSON junto con su proveedor MCP.¿Qué es la vista previa?Configuración del proveedoruso de capabilities_pathDesarrollo del proveedorConstruir y enviar contratos de proveedorEl contrato es la fuente de verdad para las verificaciones del proveedorMantenlo versionado con tu código de proveedorEl contrato del proveedor JSON que consume Decision GateReexportar después de cualquier cambio en el esquema.Vista previa del contratoEl ID del proveedor es el identificador estable utilizado en EvidenceQuery.provider_id y en los predicados de ScenarioSpec.El nombre y la descripción ayudan a los autores de escenarios a entender de dónde provienen los controles y cómo aparecen en la documentación.¿Qué es la identidad del proveedor?Configuración del proveedorentradas del proveedor en decision-gate.tomlDesarrollo del proveedorCómo construir proveedores de evidencia MCPUtilice identificadores de proveedor en snake_case que coincidan con su configuraciónLos nombres de los proveedores son etiquetas legibles por humanosLas descripciones aparecen en la documentación y herramientas generadasIdentificar la fuente de evidencia utilizada en los escenariosCambiar los ID de proveedor rompe los escenarios existentes.Identidad del proveedorLas entradas del proveedor se convierten en EvidenceQuery.params cuando se ejecutan los escenarios.Si se requieren entradas, los escenarios deben proporcionarlas; si no, los parámetros deben omitirse.¿Qué son las entradas del proveedor?Protocolo del proveedorForma de solicitud/respuesta de EvidenceQueryDesarrollo del proveedorCómo modelar las entradas del proveedorUtilice JSON Schema para validar los parámetrosEstablezca additionalProperties en false por seguridadIncluir solo las entradas que necesita el proveedorParámetros requeridos para obtener el valorMantenga los esquemas de parámetros mínimos y deterministas.Entradas del proveedorEste es el tipo de EvidenceResult.value devuelto por el proveedor, no el valor esperado en un escenario.El modo estricto deriva los comparadores permitidos de este tipo.¿Cuál es el tipo de valor devuelto?Desarrollo del proveedorGuía del esquema de contratoFormas de datosCómo los esquemas influyen en la validaciónLos formatos de cadena (fecha, fecha-hora, uuid) cambian las reglas del comparadorLos tipos de unión intersectan conjuntos de comparadoresElija el tipo más específico que coincida con la salidaDescribe el valor que devuelve el proveedorModelar la salida del proveedor exactamente para evitar errores en modo estricto.Tipo de valor devueltoPuntos claveRecursos relacionadosLas plantillas son contratos mínimos de proveedor no vinculados a AssetCore. Úselas al construir proveedores para puntos finales HTTP, variables de entorno u otras fuentes de datos personalizadas.Cada plantilla demuestra un patrón de tipo de resultado diferente: banderas booleanas, códigos de estado numéricos u objetos estructurados. Expande a partir de ahí a medida que tu proveedor crezca.¿Qué son las plantillas de Decision Gate?Guía del constructorGuía paso a paso del generadorDesarrollo del proveedorImplementación de proveedor de extremo a extremoGuía de inicio rápidoEjecuta tu primer escenario en minutosMínimo: Verificación de proveedor booleano únicoEstado HTTP: Verificación de entero parametrizadoInspección de esquema: verificación de objeto estructuradoContratos iniciales para fuentes de datos personalizadasComience con la plantilla Mínima para aprender la forma del contrato, luego pase a patrones más complejos.Plantillas de Decision GateExplicar este tipo de valor devueltoEl constructor refleja la validación estricta de DG MCP para detectar errores temprano.Haz clic en cualquier problema para saltar al campo exacto.¿Por qué estoy viendo problemas de validación?Formas de datosReferencia de validación del comparadorLos errores bloquean la exportación en modo estrictoLas advertencias indican desajustes en el modo espejoComprobaciones en modo estricto antes de la exportaciónResuelva todos los errores antes de enviar un contrato.ValidaciónContrato aplicado.AplicarEsta página se abrió con {name}. Aplíquela para cargar el contrato.DescartarPlantilla listaConfiguración del proveedorVerificaciones del proveedorVerificar editorVista previaProveedorSaltar aAñadirEliminarOKCerrarTipo de resultadoOK = permitido. opt-in = requiere conmutadores de validación.No permitidoLos esquemas de resultados de unión solo permiten comparadores válidos para cada tipo listado.optar por participarCada fila es una clase de tipo de resultado; cada columna es una familia de comparadores.Matriz de compatibilidad de comparadoresAcercar{porcentaje}%AcercarRestablecerModo espejo (comparadores heredados)El modo espejo permite comparadores heredados pero destaca los riesgos de compatibilidad.Validación estricta (predeterminada)El modo estricto desactiva los comparadores que entran en conflicto con el tipo de resultado.AtrásConstructorDocumentos de Decision GateImportar JSONNombra al proveedor, luego define las verificaciones y comparadores del proveedor. El modo estricto mantiene los contratos seguros.No ahoraIniciar tutorialRecorrido guiadoVista previaValidaciónRequiere validation.enable_deep_equals = true en decision-gate.toml.Habilitar comparadores de igualdad profundaRequiere validation.enable_lexicographic = true en decision-gate.toml.Habilitar comparadores lexicográficosPolítica de comparadoresConfigurar el transporte y el esquema de configuración para decision-gate.toml.Configuración del proveedorEsquema de configuración del proveedorDescripción del proveedorDescribe lo que este proveedor puede devolver.ID del proveedorDefine los metadatos utilizados por las consultas de evidencia y documentos.Identidad del proveedorUtilice snake_case en minúsculas. Este ID es referenciado por los escenarios.p. ej. github_providerNombre del proveedorNombre amigable para el usuario que se muestra en la documentación.p. ej. Proveedor de GitHubNotas del proveedorAñadir una notaTransporteincorporadomcpAñadir campoPermitir propiedades adicionalesAñadir valorAñadir varianteDescripción del campoFormatoElementosJSONRequeridoEstructuradoEste esquema utiliza características no soportadas en el editor estructurado.{count} erroresConsulte el panel de validación para más detalles.Válido{count} advertenciasContrato copiado.La copia ha fallado.Descarga iniciada.{count} error(es) detectado(s).Contrato importado.La importación falló. JSON no válido.No hay problemas de validación.Plantilla cargada.{count} advertencia(s).Devuelve verdadero cuando el sistema está listo.Comprobación de proveedor booleana única sin entradas de proveedor.Este es un contrato inicial. Personaliza antes de enviar.Salida determinista solo para demostración.Proveedor de EjemploComprobación mínima del proveedorDevuelve los metadatos de carga útil analizados.Verificación del proveedor de resultados estructurados con entradas de proveedor anidadas.Asegúrese de que los campos de resultado se mapeen a una lógica de comparador estable.Inspecciona las cargas útiles e informa resultados estructurados.Inspector de EsquemasInspección del esquemaDevuelve el código de estado HTTP para una URL.Comprobación de proveedor parametrizada que devuelve un código de estado.Mantenga los tiempos de espera bajos para proteger la evaluación de ScenarioSpec.Verifica los códigos de estado remotos utilizando una lista de permitidos controlada.Proveedor de Estado HTTPVerificación del estado HTTPUsar plantillaTutorial completo.TerminarSiguienteAtrásPaso {current} de {total}Utilizar para listas de cadenas, números o booleanos. Los comparadores incluyen contiene y en_conjunto.{\"name\": \"roles\", \"result\": [\"admin\", \"editor\"]}Lista de valores escalaresUtilizar para banderas y verificaciones binarias. Los comparadores de igualdad y existencia son típicos.{\"name\": \"is_ready\", \"result\": true}Señales verdadero/falsoComparadores permitidosUtilizar cuando los resultados están limitados a valores conocidos. Funciona bien con equals y in_set.{\"name\": \"estado\", \"result\": \"aprobado\"}Conjunto fijo de valoresEjemploUtilizar para conteos, identificadores y cantidades escaladas. Se aplican comparadores de orden.{\"name\": \"balance_amount_scaled\", \"result\": 150000}Números enterosAbrir matriz de comparadoresRepresenta datos faltantes o no disponibles. Los comparadores exists/not_exists son típicos.{\"name\": \"env_value\", \"result\": null}Valores nulos o faltantesUtilizar para mediciones con fracciones. Se aplican comparadores de orden.{\"name\": \"temperature_c\", \"result\": 21.5}Números decimalesUtilizar para valores anidados. Los comparadores son limitados; considere extraer verificaciones escalares.{\"name\": \"payload_metadata\", \"result\": {\"version\": \"1.2.3\"}}Objetos JSON estructuradosUtilizar para etiquetas, identificadores y texto. Los comparadores de ordenación están deshabilitados en modo estricto.{\"name\": \"team_name\", \"result\": \"barcelona\"}Valores de textoFechas RFC 3339 (AAAA-MM-DD). Habilita comparadores de ordenación de fechas.{\"name\": \"fecha_envío\", \"result\": \"2025-01-12\"}Fechas del calendarioCadenas de fecha-hora en formato RFC 3339. Habilita comparadores de ordenación temporal.{\"name\": \"observed_at\", \"result\": \"2025-01-12T09:30:00Z\"}Sellos de tiempoIdentificadores opacos. Los comparadores de igualdad y existencia son típicos.{\"name\": \"order_id\", \"result\": \"550e8400-e29b-41d4-a716-446655440000\"}Cadenas UUIDTipo de valor devuelto: {type}Utilice un esquema más específico cuando sea posible. El modo estricto trata los tipos desconocidos de manera conservadora.{\"name\": \"valor\", \"result\": \"...\"}Tipos mixtos o desconocidosLos elementos del array no son escalares. El modo estricto trata esto como un resultado de objeto.{name}: no se han declarado tipos de contenido.Los IDs de proveedor deben estar en minúsculas y en formato snake_case (letras, números, guiones bajos).Modo espejo: {name} utiliza comparadores {invalid} que no coinciden con un valor devuelto de tipo {type}.