Anuncio de un SkillCoordinar tareas entre agentes
Resumen de la publicación · inglés
formal-spec makes an agent reason through formal methods: model the behavior, write an independent spec and proof obligations, check them in Lean, then derive tests and implement through TDD.