Definition
A curated library of standard facts and tools an AI can pull from.
In RMA, a module storing canonical mathematical results (inequalities, spectral facts, identities) tagged with preconditions for application by agents during proof construction.