Skip to main content

Module config

lean_ctx::core::contextops

Module config 

Source

Structsยง

AgentRules
CoreRules
RulesConfig
User-facing rules inventory persisted at .lean-ctx/rules.toml.
RulesSection