Casbin Gateway: a security gateway for the AI coding agents on your machine