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