Anúncio de SkillCoordenar tarefas entre agentes
Resumo da publicação · 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.