mente: alucinado El fuzzing de Claude + Foundry es muy (, muy) bueno, pero las pruebas invariantes de Claude + Foundry son OP!! el mismo invariante que en el QT, pero esta vez descubierto mediante pruebas invariantes - no fuzzing dirigido (por supuesto eliminado de un solo golpe por Claude) En lugar de intentar adivinar cómo se rompe el invariante, Claude escribió un manejador genérico que envuelve todas las funciones orientadas al usuario y que cambian el estado y deja que el fuzzer haga lo suyo Añadir otro invariante es trivial, simplemente escribe el invariante en sí, no hace falta nueva lógica de reproducción Parece una mejora escalonada en la forma en que se prueban los protocolos Un enorme agradecimiento a la legendaria @gndizzy y a todos los gigantes que construyen esta increíble tecnología