pi-heed: ograniczenia wykonawcze dla pi z TypeSafe Jev
Ograniczenia wykonawcze dla agenta kodującego pi: sprawdza każde wywołanie narzędzia z efektami ubocznymi względem zasad podanych przez użytkownika, oparte na TypeSafe Jev. Zawiera szczegółowy benchmark i dziennik eksperymentów oceniający decyzje System One Jev.