Skip to main content

Module agent_budget

lean_ctx::core

Module agent_budget 

Source

Structs§

AgentBudget

Enums§

BudgetCheckResult

Functions§

check_budget
default_limit_from_config
get_status
init_from_config
record_consumption
reset
set_limit