¿CON QUÉ IA?

Caso de usoProgramación

Encontrar errores de código con enjambres de agentes

Varios agentes que prueban propiedades del código encontraron unos 30 errores en el código del autor y unos 100 en proyectos abiertos como uv.

ParaprogramarConCodexLo contó @hikikomorphism en BlueskyDificultad avanzada

A quién le sirve. Programadores y equipos de desarrollo con código propio, sobre todo si tienen lectores de formatos, conversores o transformaciones de datos que conviene probar a fondo.

Qué hicieron

El autor dio una charla en su trabajo sobre pruebas de propiedades (comprobar que el código cumple reglas generales con miles de casos inventados) con enjambres de agentes. Había encontrado unos 30 errores en el código de su empresa. Para escribir un artículo que no girara en torno a ellos, aplicó el mismo método a proyectos de código abierto como uv, codex y prometheus. El texto no explica cómo funciona.

Cómo salió

El autor cuenta unos 100 errores encontrados en los proyectos abiertos y dice que muchas correcciones ya están aceptadas. No desglosa los datos por proyecto.

Conviene saber

El texto es un anuncio breve: no da coste, configuración ni herramientas. Busca el artículo que promete el autor para conocer el método.

Qué necesitas

  • Un agente de programación. El del caso es Codex, y Claude Code hace un trabajo parecido.
  • El código que quieres probar, en tu ordenador.
  • Una herramienta de pruebas de propiedades de tu lenguaje, como Hypothesis en Python o fast-check en JavaScript.
  • Una rama aparte para trabajar sin tocar el código bueno.
  • Una persona que revise los errores que salgan.

Cómo hacerlo tú, paso a paso

  1. Elige un módulo con reglas generales claras, como un conversor, un lector de formatos o una transformación de datos.
  2. Pide al agente que escriba pruebas de propiedades: reglas que deben cumplirse siempre, probadas con miles de casos inventados.
  3. Ejecuta las pruebas. Por cada caso que falle, pídele que lo reduzca a un ejemplo mínimo y que diga si parece un error real.
  4. Cuando una prueba funcione, repite con otros módulos. Si quieres ir más rápido, lanza varios agentes a la vez, cada uno con un módulo distinto.
  5. Pídele una lista de errores confirmados, con los pasos para reproducirlos y un arreglo sugerido.
  6. Revisa tú los arreglos antes de aplicarlos. Si el código es de un proyecto abierto, propón el cambio a sus responsables.
Pruébalo con Codex
Mira [mi repositorio o módulo] y escribe pruebas de propiedades con [Hypothesis, fast-check o la herramienta de mi lenguaje] para sus funciones principales, como lectores de formatos, conversores y transformaciones de datos. Ejecútalas y, por cada caso que falle, redúcelo a un ejemplo mínimo y dime si parece un error real. Habrás terminado cuando me entregues una lista de errores confirmados con los pasos para reproducirlos y arreglos sugeridos. No cambies mi código sin preguntarme.

Consejos

  • La fuente es un anuncio breve y no cuenta el método, el coste ni las herramientas. Estos pasos son una versión general, así que busca el artículo que promete el autor para ver los detalles.
  • Pídele que no cambie tu código sin preguntarte y que trabaje en una rama aparte.
  • Un fallo de la prueba no siempre es un error del código. A veces la regla está mal escrita, así que comprueba que el fallo es real.

Preguntas frecuentes

¿Qué es una prueba de propiedades?

En vez de probar unos pocos ejemplos escritos a mano, defines una regla general, como «convertir y volver a convertir devuelve el original», y la herramienta la prueba con miles de casos inventados.

¿Sirve si no programo?

No directamente, porque es una técnica para equipos que escriben código. Si tienes a alguien técnico, enséñale este caso.

Fuentes

En el directorio desde el 14 de octubre de 2026.

Parecidos

  1. Crear y publicar un agente que lee cartas BaZi y cobra por ello

    Un desarrollador creó solo, con agentes de programación, un agente que calcula cartas BaZi, las interpreta y cobra las lecturas con pagos en cadena.Caso@Ducktumay en XCodexDificultad avanzada
  2. Evitar choques entre agentes de programación que trabajan a la vez

    Los agentes publican los cambios que piensan hacer antes de editar, para avisar de choques de arquitectura entre copias de trabajo paralelas.Casonaw103/foremerge en GitHubClaude Code y CodexDificultad avanzada
  3. Buscar un error durante la noche con un agente que trabaja horas

    Un desarrollador deja a Codex unas horas de noche probando hipótesis sobre un error que no logra explicar, con una prueba que lo reproduce.CasoHacker NewsCodexDificultad avanzada
  4. Averiguar por qué un servidor mata un proceso con Codex

    Claude Code se cerraba a los segundos en un servidor, y Codex halló por conexión remota que se quedaba sin memoria.Casoflaviocopes.comCodex y Claude CodeDificultad avanzada
  5. Diseñar un brazo robótico en 3D con una sola instrucción

    Una skill de texto a CAD permitió a Codex crear un brazo robótico de 7 ejes con cinemática, interfaz y piezas STEP con una instrucción, salvo la pinza.Casoen.kocpc.com.twCodex y Claude Code2 fuentesDificultad avanzada
  6. Traspasar sesiones de programación entre cuentas al llegar al límite

    Un desarrollador creó una aplicación que sigue el uso de varias cuentas de Codex y Claude Code y traspasa la conversación cuando una llega a su límite.CasoHacker NewsCodex y Claude CodeDificultad avanzada

Más: todo con Codex · todo sobre programación

Cada lunes, lo nuevo en tu correo

Lo que ha salido esa semana, las skills que más suben y tres casos que puedes copiar.

Un correo a la semana. Te das de baja con un clic.