Skip to content
Kavachकवच

Tools for AI: outline

● Intermediate2 min

kavach outline shows a file's declarations, contracts and doc comments, with every body left out.

terminal
kavach outline src/main.kav
type Order {
    id: Int
    amount: Decimal
    paid: Bool
}

/// The total of the paid orders.
fn total_paid(orders: [Order]) -> Decimal
    ensure result >= 0
{ … }

fn report(orders: [Order]) -> String { … }

fn main() { … }
outline: 229 of 508 characters (45%)

An assistant learns what the file offers for a fraction of the tokens the whole file would cost.