Ponele una cota certificada de costo y riesgo a tus agentes de IA.
costwright mide tus agentes y emite un certificado firmado con una cota conservadora de su costo y su riesgo — un techo verificable con respaldo estadístico, recomputable por un tercero. Parte de la cota está mecanizada y verificada en Lean. No es un estimado ni un dashboard.
Librería open-source · plan gratis · sin tarjeta.
Un estimado no es una garantía.
Todo tracker de costo te muestra un número después del hecho. Ninguno te da el techo que se cumple antes de salir a producción. Cuando un agente cicla o se ramifica, el gasto que pronosticaste y el que pagás no son el mismo — y te enterás en la factura.
- ▸ Un costo promedio por corrida no te dice nada del peor caso que vas a pagar.
- ▸ Las herramientas de observabilidad (dashboards, contadores de tokens) reportan el gasto — no lo acotan.
- ▸ Nadie más emite una cota de costo y riesgo firmada y recomputable, con un núcleo verificado en Lean.
$ costwright certify --agent my_agent --runs runs.jsonl modeling cost & risk over runs … fitting conservative bound (Lean-verified core) … ✓ certificate issued cost ≤ $0.0042 / run (95%, n=1200) risk ≤ 0.7% (95%) bound is conservative by construction signed · recomputable · input-hash bound
Cómo funciona
Medir
Apuntás costwright a las corridas de tu agente (gasto de tokens, llamadas a tools, muestras). Modela la distribución de costo y riesgo sobre corridas independientes — el spread real, no un punto.
Certificar
costwright ajusta una cota conservadora — conservadora por construcción, nunca subestima el costo ni el riesgo — y emite un certificado firmado que ata la cota a los inputs exactos (hash). Recomputable por cualquiera, no un número que tenés que creer.
Garantizar
Mostrás el certificado como tu techo: costo ≤ X a un nivel de confianza dado. La cota base está mecanizada y verificada en Lean (una prueba formal), así que la garantía se sostiene — auditable por un tercero, no una sensación.
El certificado es el producto.
Un certificado verificable y recomputable que un producto vacío no podría emitir. Cada certificado lleva la cota — costo, riesgo, confianza, hash de input — no una sensación. La señal vende sin vendedor.
Precios
Empezá con la librería open-source. Pagás cuando necesitás la API de certificación hosted o un reporte firmado.
- Open-source (MIT)
- Acotar + certificar local
- Local, el dato no sale de tu máquina
- Starter · Pro · Scale
- Certificar costo y riesgo a escala
- Acceso fundador — primeros equipos
- PDF firmado + cota + hashes de input
- Techo de costo y riesgo, núcleo verificado en Lean
- Para una revisión regulada
Preguntas
¿Es otro dashboard de costos?
No. Un dashboard reporta lo que ya gastaste; costwright acota lo que podés gastar. Emitimos un techo — costo ≤ X a un nivel de confianza dado — conservador por construcción, no un número que mirás después del hecho.
¿Por qué confiar en la cota?
Porque parte está mecanizada y verificada en Lean — una prueba formal — y la cota entera es conservadora por construcción (nunca subestima costo ni riesgo). El certificado es recomputable, así que un tercero lo puede chequear de forma independiente.
¿Funciona con mis agentes?
Sí — costwright envuelve cualquier agente o pipeline de IA. Vos traés las corridas (costo, llamadas a tools, muestras); las modela y certifica un techo conservador. La librería base es open-source.
¿Acceso fundador?
Un precio fundador para la API de certificación hosted mientras integramos los primeros equipos. La librería sigue gratis y open-source.