Re:L
OpenShell, AI 에이전트 제어에 형식적 방법론을 적용하며 얻은 교훈 | Re:L