/**
 * Formulas as a subject: plan a task, explain one, compile from IR, validate, trace.
 *
 * The IR is the interesting part — a formula is built from structure rather than
 * from a template string, so it can be checked before it is written. Split out of
 * `index.ts` unchanged.
 */
import type { Context } from '@deepseek-ai/cordis';
export declare function registerFormulaTools(ctx: Context): void;
//# sourceMappingURL=formulas.d.ts.map