pi-heed: ограничения времени выполнения для pi на основе TypeSafe Jev
Ограничения времени выполнения для агента кодирования pi: проверяет каждый вызов инструмента с побочными эффектами на соответствие правилам, указанным пользователем, на основе TypeSafe Jev. Включает подробный бенчмарк и журнал экспериментов, оценивающих решения System One от Jev.