Enterprise Application Intelligence · Plataforma de agentes para la construcción de aplicaciones empresariales
El cosmos acoge todos los instrumentos; cada instrumento se forja con medida
Inteligencia tangible, aplicaciones fiables: lo que la IA construye se puede ver, y cada sistema entregado resiste la medición y la verificación.
Usted describe los requisitos de negocio; la plataforma AliothStudio construye el sistema. Hangzhou Yuqi Technology restringe sus agentes con el modelo de ontología de datos Alioth de desarrollo propio y congela de una vez la estructura de la base de datos mediante la cadena de publicación del modelo (los agentes nunca escriben DDL) y produce de forma determinista, sobre ese modelo congelado, las API de backend, las definiciones de tipos y la interfaz de usuario — entregando no una demo que «parece que funciona», sino aplicaciones empresariales verificadas por 229 puertas de calidad y listas para producción.
El modelo es de código abierto en GitHub: github.com/CosmicTools9/Alioth · Última versión v10.0.44 (2026-10-19)
Solutions
Qué resolvemos para usted
Tres dilemas típicos de la construcción de aplicaciones empresariales — y la respuesta de Yuqi a cada uno.
Los agentes de propósito general generan sistemas que «parecen completos pero no funcionan»
Los LLM inventan tablas, campos, API y reglas de negocio inexistentes; el resultado parece completo pero no funciona — y los estrictos requisitos de precisión de las aplicaciones empresariales dejan a la mayoría de las herramientas de generación con IA en la fase de demostración.
Nuestra respuesta:restringir al agente con un modelo ontológico congelado — todo artefacto estructural debe ubicarse por herencia dentro de las 645 coordenadas semánticas ontológicas y alinearse campo por campo con contratos legibles por máquina; las alucinaciones se detectan y rechazan en tiempo de compilación.
Los sistemas ensamblados a base de formularios no siguen el ritmo del negocio
Las plataformas low-code tradicionales ensamblan formularios: las estructuras se duplican por vías laterales y las semánticas se dispersan; cuando el negocio cambia, el sistema cae en un pantano donde cada arreglo rompe otras tres cosas.
Nuestra respuesta:impulsados por la ontología — primero se describe con precisión el mundo del negocio en un lenguaje ontológico matematizado; un cambio de negocio es un cambio de modelo, y el sistema evoluciona junto con el negocio, sin parches sobre código viejo.
Un sistema de negocio tarda meses en construirse, y los requisitos no pueden esperar
El diseño de la base de datos, las API de backend y la interfaz de usuario avanzan por separado, y la integración y los reprocesos se acumulan capa sobre capa — cuando el sistema se entrega, los requisitos del negocio a menudo ya han cambiado.
Nuestra respuesta:la estructura de datos la congela una vez la cadena de publicación del modelo, separada físicamente de la cadena de construcción; la canalización de agentes solo produce las API de backend, las definiciones de tipos y la interfaz de usuario — la capa de aplicación se genera de extremo a extremo, con cero DDL y cero parches de modelo en todo el proceso.
Proven in Production
Ya en funcionamiento en estos sectores
El mismo modelo Alioth y la misma plataforma AliothStudio ya funcionan como sistemas de producción desplegado en 6 espacios de nombres — 15 aplicaciones, 61 módulos, 293 Blocks, 82 servicios (el sexto espacio MAT está en incorporación) que cubren toda la cadena, de la consulta a la liquidación y del encargo a la facturación.
Sistema integrado de gestión de pedidos y finanzas para confección de comercio exterior
Cubre 18 escenarios de negocio — panorama de operaciones, consultas de clientes, cotizaciones, pedidos, BOM, compras, muestreo, producción, control de calidad, envíos, documentación, cuentas por cobrar/pagar, antigüedad de saldos, tipos de cambio, costes, beneficios, devolución de impuestos a la exportación, reembolsos, permisos y configuración — conectando toda la cadena «consulta → envío → liquidación».
Sistema de gestión de operaciones de logística y transporte
Cuatro módulos — logística contratada, ejecución de transporte, cuentas de ingresos y cuentas por pagar — con una cadena de colaboración externa «cliente ↔ plataforma ↔ transportista» y un mecanismo de trazabilidad de arbitraje integrados; gestión unificada de cartas de porte, trayectorias, geocercas, liquidación y facturación.
Plataforma de gestión de I+D de sistemas y aeronavegabilidad
Para clientes de la industria aeronáutica: gestión de I+D de sistemas, flujos de trabajo de aprobación y módulos de cumplimiento de aeronavegabilidad, con modelado ontológico de ingenieros, etiquetas de competencias, roles de aprobación y comités de control de cambios (CCB).
Datos maestros y gestión presupuestaria de proyectos de I+D
Libros de proyectos de I+D, asignación y reasignación de códigos de trabajo de investigación con registro de auditoría, etiquetado multidimensional de proyectos, archivos de iniciación versionados, relaciones de dependencia entre proyectos y arrastre de fondos, y vinculación de planes del dominio presupuestario — cero tablas redundantes, todo anclado a la estructura del modelo unificado.
How It Works
Cómo trabaja la plataforma para usted
Usted solo tiene que plantear los requisitos de negocio; el agente de construcción de aplicaciones empresariales de AliothStudio se ocupa del resto. La plataforma consta de dos cadenas independientes: la cadena de publicación del modelo produce la base de datos, y la cadena de construcción de aplicaciones ensambla su aplicación de negocio sobre la base congelada.
La propia base de datos la mantiene una cadena de publicación del modelo independiente (el canal único de la estructura), y el agente no usa DDL en ninguna fase de la cadena de construcción — el sistema que usted recibe queda siempre anclado al mismo modelo congelado:
Plataforma de metadatos
El centro que gestiona todo el ciclo de vida del modelo. Todos los cambios estructurales pasan por una revisión manual antes de entrar en la canalización de publicación; el motor de generación y el runtime de agentes integrados compilan automáticamente los requisitos de negocio en configuración de aplicación y código.
Entrada unificada
El runtime unificado de las aplicaciones de negocio: descubre aplicaciones automáticamente y carga extensiones (restricciones / reglas / máquinas de estado / flujos de trabajo), con autorización unificada. Cada sistema sectorial se compila y despliega de forma aislada, sin afectar a los demás.
Inicio de sesión único
Servicio de autenticación unificado desplegado de forma independiente; todos los sistemas comparten la misma cadena de identidad: una sola sesión, acceso en todas partes.
Portal de colaboración
Marco de portal para colaboradores externos como clientes y proveedores; se activa bajo demanda y se despliega de forma independiente, compartiendo la misma base de datos con los sistemas internos.
Reliability
Por qué es fiable: liberar a los agentes de las alucinaciones del LLM
El mayor riesgo de ingeniería del desarrollo con agentes de propósito general es la alucinación del LLM: el modelo inventa tablas, campos, API y reglas de negocio inexistentes, produciendo artefactos que parecen completos pero no funcionan. La respuesta de Yuqi es restringir al agente con el modelo ontológico: el LLM solo realiza comprensión de requisitos y mapeo ontológico; todo artefacto estructural debe ubicarse por herencia dentro del espacio ontológico congelado y anclarse a contratos legibles por máquina. Bajo la doble presión de la estructura matemática y las puertas de ingeniería, la alucinación no tiene dónde asentarse — cumpliendo así los requisitos estrictos de precisión y fiabilidad de las aplicaciones empresariales.
Solo heredar para ubicarse — nunca inventar
Las acciones estructurales del agente están confinadas al espacio ontológico del esquema isahl congelado: la extensión solo puede heredar en el cono inferior del orden DAG y vincular coordenadas ontológicas tridimensionales, asignadas por un mecanismo de disparadores y no inventadas por el modelo — el LLM no puede inventar tablas ni campos inexistentes, y las nuevas industrias se incorporan con cero DDL y cero parches de modelo.
Los artefactos se alinean con los contratos del paquete de lanzamiento
Los paquetes Alioth/v* incluyen contratos legibles por máquina e informes de verificación; cada artefacto del agente — módulo, Block, Service, app.json — debe alinearse campo por campo con el contrato. Cualquier referencia alucinada (un service colgante, una coordenada inexistente) se detecta y rechaza en tiempo de compilación.
229 puertas verificadas mecánicamente
El camino completo del requisito al despliegue está protegido por 229 puertas registradas en todo el proceso (137 en fase commit / 92 en fase push): la legalidad de las coordenadas semánticas ontológicas, la integridad de las referencias estructurales y el éxito de compilación y pruebas los decide la máquina — sin depender del cuidado de revisores humanos ni de la confianza del modelo. Los artefactos alucinados no pueden cruzar las puertas hacia producción.
El LLM no genera código de ejecución
La lógica de negocio en ejecución la produce de forma determinista el generador alioth-gen a partir de la configuración ontológica (API, tipos, interfaz — sin DDL: los cambios de estructura solo circulan por la cadena de publicación del modelo); los invariantes del núcleo teórico se demuestran además mecánicamente en Lean 4 (cero sorry como criterio estricto de la puerta de push). El LLM solo hace lo que sabe hacer — comprensión de requisitos y elección de mapeos — mientras la precisión está respaldada por la estructura y la demostración.
Get Started
Cómo empezar
Cuatro formas de entrada, de lo práctico a lo profundo: pruébelo en línea, siga el manual, lea la teoría o audite el código — todas las promesas pueden verificarse por usted mismo.
Edición SaaS de aprendizaje
cosmic-tools.shop ofrece una edición SaaS en línea de AliothStudio para aprendizaje — un despliegue simplificado para usuarios individuales con el modelado central, el ensamblaje de aplicaciones y los flujos de ejecución plenamente utilizables; sin necesidad de un entorno local, para seguir el Libro azul paso a paso.
Libro azul de construcción
Manual de construcción de aplicaciones AliothStudio: la ruta operativa completa, desde la preparación del entorno, el centro de modelos, los flujos de trabajo de AppAgent y las reglas de oro del desarrollo de módulos y Services, hasta la compilación, el despliegue y la consulta rápida de las 229 puertas de calidad.
Libro blanco teórico
Libro blanco de la teoría del modelo Alioth: los fundamentos matemáticos de la ontología del intercambio — categorías monoidales simétricas y simetría de grupoides, espacio producto de coordenadas, completitud de los cinco dominios, medidas de conservación, validación teórico-modelo en múltiples espacios de nombres, y demostraciones mecánicas en Lean de cinco metateoremas centrales.
Verificación en código abierto de GitHub
El modelo central es de código abierto en CosmicTools9/Alioth (PLpgSQL · MIT): la última versión v10.0.44 (2026-10-19) contiene 1022 tablas heredadas + 268 tablas semilla, y cada lanzamiento se verifica mediante una reconstrucción completa en una base de datos de validación dedicada — cada propiedad matemática afirmada en el libro blanco tiene su definición estructural y su restricción correspondientes en el repositorio.
El generador de aplicaciones CosmicTools9/dsh-alioth (TypeScript): el usuario describe la aplicación en diálogo y el marco produce, mediante una canalización programática determinista, artefactos importables por AliothStudio (app.json, module.json, extensiones, prototipos) — el LLM solo aporta parámetros estructurados y decisiones semánticas, nunca texto de artefactos. Es la implementación verificable de la promesa «sin alucinaciones de LLM».
Technology
Capacidades técnicas
| Capacidad | Descripción |
|---|---|
| Autorización detallada NGAC | Modelo de autorización basado en DAG que implementa el estándar internacional NGAC (ANSI/INCITS 565-2022): aislamiento multi-inquilino por clases de política, herencia jerárquica de atributos de usuario/objeto, autorizaciones por asociación y reglas de prohibición (la autorización negativa prevalece), y auditoría completa de los cambios de política. |
| Enrutamiento inteligente de consultas SQL / AGE | El backend se adapta automáticamente entre consultas relacionales y de grafo: las comprobaciones de permisos de alta frecuencia van por SQL (1–2 ms); los recorridos multisalto y las rutas más cortas van por el motor de grafos Apache AGE. Las tablas relacionales son la única fuente de verdad; AGE es una capa de aceleración opcional. |
| Generación de aplicaciones con IA | El runtime AppAgent dirige con una máquina de estados la cadena automatizada «requisito → prototipo → mapeo ontológico → artefactos de módulo / Block / Service»; la canalización de inyección de conocimiento EmpAgent mantiene el conocimiento de dominio simétrico y completo. |
| Verificación formal en Lean 4 | Los invariantes del núcleo teórico (conservación del valor, estructuralidad de la involución, terminación y corrección de la completación, decidibilidad de la completitud de los cinco dominios) están demostrados mecánicamente en Lean 4, con cero sorry como criterio estricto de la puerta de push — la corrección matemática la verifica el demostrador, no la avala una revisión. |
| Identidad distribuida y auditoría | Los datos de negocio utilizan ID únicos distribuidos (zuid); todas las operaciones quedan en un esquema de auditoría independiente, lo que, junto con el modelo de simetría transaccional, permite trazabilidad de extremo a extremo. |
| Cadena de lanzamiento integrada | Artefactos generados por Meta → compilación del espacio de nombres → paquete de despliegue (binario + DDL + docker-compose + scripts de operación); el gateway se reinicia automáticamente en la fase de producción, y el proceso de lanzamiento es de bucle cerrado y reversible. |
| Stack tecnológico moderno | Backend en Rust (alto rendimiento, seguridad de memoria); frontend en React + TypeScript; base de datos PostgreSQL + extensión de grafos Apache AGE; ingeniería basada en monolito modular con pnpm / Cargo workspace. |
Theory
Fundamento teórico: el modelo de ontología de datos Alioth
¿Por qué este modelo puede restringir al agente? Porque Alioth es un marco de modelado ontológico de datos de nivel empresarial construido sobre la teoría de categorías y el principio de simetría: el comportamiento económico se formaliza como morfismos en una categoría monoidal simétrica, las transacciones reversibles forman el grupoide núcleo, y la simetría se caracteriza estrictamente mediante un endofuntor involutivo — cada transacción tiene una única transacción inversa especular, lo que garantiza la conservación del valor y la integridad estructural. Todos los invariantes matemáticos están anclados a puertas de ingeniería, y los teoremas centrales están demostrados mecánicamente en Lean 4. El modelo es de código abierto: github.com/CosmicTools9/Alioth.
Categoría / grupoide / endofuntor involutivo
Las transacciones son morfismos en una categoría monoidal simétrica 𝓔; las transacciones reversibles forman el grupoide núcleo core(𝓔); la simetría = un endofuntor involutivo S : core(𝓔) → core(𝓔)ᵒᵖ con S² = id. Consecuencia de ingeniería — la transacción especular existe de forma única y la conservación del valor se atestigua asiento a asiento: cada comprobante registra los saldos inicial y final, de modo que «estado previo + variación neta = estado posterior» es verificable mecánicamente línea por línea.
Categoría producto / funtor de coordenadas
El funtor de coordenadas χ = (dk_scene, dk_factor, dk_function) sitúa cada entidad de negocio en un punto único de la categoría producto S × F × U: las tres dimensiones son ortogonales, toman valores de forma independiente y evolucionan de forma independiente; los códigos dimensionales son direcciones jerárquicas asignadas por un mecanismo de disparadores, no por convención humana.
Orden DAG / álgebra relacional / span
La jerarquía de herencia es un orden parcial acíclico dirigido (484 subtablas, 374 tablas hoja); la extensión solo puede crecer en el cono inferior del orden y la duplicación por vías laterales está prohibida. Las familias de relaciones r_* / rr_* corresponden a relaciones funcionales y spans (1:N / M:N); la composición de relaciones es composición de morfismos, y las relaciones jerárquicas están protegidas por invariantes de aciclicidad.
Medida con signo / aditividad
El inventario y los saldos no son atributos de entidades, sino medidas aditivas con signo sobre hechos de comprobantes — se calculan, no se almacenan. El recuento físico es un evento atómico de corrección de medida; los excedentes y faltantes se absorben y calibran como error de medición normal, en lugar de ocultarse.
Instantánea de 4 aridades
Al segmentar cualquier transacción a lo largo de su ciclo de vida se obtiene la 4-tupla ontológica: Escena Scene (dónde y cuándo), Factor (quién y qué), Función Function (cómo) y Estado Status (tiempo lógico discreto que avanza en un solo sentido). Tres códigos ortogonales forman un espacio ontológico analizable.
Completitud de los 5 dominios
Cada instantánea de 4 aridades debe cubrir los cinco dominios de transacción — Persona L / Contenedor C / Mercancía G / Lugar P / Finanzas F — sin permitir ruptura de simetría, lo que garantiza el cierre del negocio a nivel de modelo: quién comercia, en qué se transporta, qué se comercia, dónde ocurre y cómo fluye el valor.
Involución especular event / task
El eje temporal queda dividido por el «ahora» en dos mitades: los event ya ocurridos (hechos pasados) y los task aún no ocurridos (pendientes futuros) son reflejos mutuos; completar una tarea invierte el segmento. Los planes se despliegan hacia ambos lados a través de puentes gemelos: lo dirigido por eventos y lo dirigido por tareas son las dos direcciones temporales de un mismo modelo de impulso.
Validación del modelo en múltiples espacios de nombres
Desde la teoría de modelos: el modelo isahl es la teoría 𝕋, y cada despliegue sectorial es un modelo ℳ ⊨ 𝕋. Una misma teoría ya sustenta 6 espacios de nombres, 15 aplicaciones, 61 módulos, 82 servicios, 645 coordenadas semánticas ontológicas — incorporar una nueva industria requiere cero DDL y cero parches de modelo: solo posicionamiento por herencia y vinculación de coordenadas.
About
La empresa
Hangzhou Yuqi Technology Co., Ltd. es una empresa de software especializada en agentes de construcción de aplicaciones empresariales. Con el modelo Alioth de desarrollo propio como núcleo teórico y la plataforma AliothStudio como vehículo de ingeniería, ofrece soluciones integrales —del modelo de datos al sistema de negocio completo— para sectores como la manufactura de comercio exterior, la logística y el transporte, la aeronavegabilidad aeronáutica y la gestión de investigación científica.
A diferencia de las plataformas low-code tradicionales que ensamblan formularios, el camino de Yuqi es ontología + construcción por agentes: primero se describe con precisión el mundo del negocio en un lenguaje ontológico matematizado, la estructura de la base de datos la congela la cadena de publicación del modelo (el DDL solo se produce allí; los agentes no tocan el modelo de datos), y después una canalización de agentes produce las API de backend, las definiciones de tipos y la interfaz de usuario sobre esa ontología — un cambio de negocio es un cambio de modelo, y el sistema evoluciona junto con el negocio.
Origen del nombre · 名之由来
宇纳万器，器成有度
El cosmos acoge todos los instrumentos; cada instrumento se forja con medida.
El nombre «Yuqi» (Cosmic-Tools) procede de este verso: el cosmos (宇) acoge todos los instrumentos (器), y cada instrumento se forja con medida. También es nuestro credo de ingeniería: abarcar las mil formas del negocio empresarial y entregar sistemas que resisten la medición y la verificación.
Build What's Next
Para que el negocio complejo
tenga un sistema que evoluciona de forma sostenible.
Sin necesidad de un entorno local, experimente en línea todo el flujo de modelado, ensamblaje de aplicaciones y ejecución de AliothStudio — siga el Libro azul y construya con sus propias manos su primera aplicación empresarial.
Entrar en la edición SaaS de aprendizaje →