Workflows de agentes con costo acotado
¿Se puede certificar cuánto va a gastar un agente de IA antes de que corra?
Un cálculo de recursos tipados que demuestra que un workflow bien tipado nunca excede el presupuesto declarado, en cualquier traza posible. El teorema central está verificado por máquina en Lean 4, sin huecos. Después medimos 254 workflows de agentes reales en 45 repositorios públicos de producción: el 88% de los cíclicos depende de un default del framework como único techo de gasto — a menudo un límite de 1000 pasos que no acota casi nada.
- Estado
- Publicado
- Paper
- DOI Zenodo ↗
- Herramienta
- Costwright · Apache-2.0 ↗