Agenra: A Language and Verified Core for Stateful LLM Agent Authorization
Agenra is a policy language and enforcement core designed to manage permissions for LLM agents by tracking resource usage and authority consumption across calls. It addresses the problem where increasing permissions can break workflows due to consumed grants. Agenra certifies permission revisions through simulations between old and new states, ensuring safety while allowing necessary changes.