Tutorials
Usa Microsoft PDD Kit para verificar Rust de agente
Demuestra Rust escrito por un agente contra una especificación que aprobaste primero, y prueba solo las partes que una prueba no puede alcanzar en absoluto.