ProViso

Credit Agreements as Code

Read like legal documents. Run like programs.

ProViso is a domain-specific language that turns credit agreements into executable logic. Compliance checking, basket tracking, and pro forma simulation — powered by your actual credit agreement, in milliseconds.

See How It Works

The Problem

Credit agreement compliance today is manual, slow, and error-prone

Without ProViso

  • Weeks to answer "can we pay this dividend?"
  • Spreadsheet models that drift from the agreement
  • Basket capacity tracked in emails and side letters
  • Pro forma analysis requires outside counsel
  • Covenant breaches discovered after the fact

With ProViso

  • Definitive answers in milliseconds
  • Source of truth is the agreement
  • Automatic basket tracking with full audit trail
  • "What if" simulation before you commit
  • Continuous monitoring catches issues early

The Language

Syntax that lawyers can read and machines can execute

corporate_revolver.proviso 
// Consolidated EBITDA - Section 1.01
DEFINE EBITDA AS
  net_income + interest_expense + tax_expense + depreciation + amortization
  EXCLUDING extraordinary_items

// Leverage Ratio - Section 1.01
DEFINE Leverage AS
  TotalDebt / EBITDA

// Maximum Leverage Ratio - Section 7.11(a)
COVENANT MaxLeverage
  REQUIRES Leverage <= 4.50
  TESTED QUARTERLY
  CURE EquityCure MAX_USES 3 OVER life_of_facility
  BREACH -> UnmaturedDefault

// General Investment Basket - Section 7.02(g)
BASKET GeneralInvestments
  CAPACITY $25_000_000

// Restricted Payments - Section 7.06
PROHIBIT Dividends
  EXCEPT WHEN
    amount <= AVAILABLE(RestrictedPayments)
    AND COMPLIANT(MaxLeverage)

Real syntax from a sample corporate credit agreement. Section references map directly to the loan document.

What It Does

Everything you need to make credit agreements executable

✓

Instant Compliance

Check covenant compliance in milliseconds. Get definitive answers with citations to specific provisions.

📊

Basket Tracking

Automatic utilization tracking with full audit trail. Know exactly how much capacity remains for investments, dividends, and debt.

📄

Plain English

Source files read like the credit agreement itself. Lawyers can review and understand the logic without learning to code.

⚡

Pro Forma Simulation

"What if" analysis for proposed transactions. See instantly whether an acquisition or dividend would trip a covenant.

🛡

Cure Rights

Built-in mechanics for covenant breaches. Track cure availability, equity contributions, and grace periods automatically.

🏗

Project Finance

Phases, milestones, waterfalls, and reserves. Full support for construction loans with draw conditions and CP checklists.

Demo Scenarios

Interactive demos available once the app loads

💼

ABC Acquisition

$150M leveraged buyout facility

☀

Solar Utility

200MW utility-scale solar with ITC tax equity

🌬

Wind Onshore

150MW wind farm with PTC credits

🏢

Corporate Revolver

$150M revolving credit facility

Interactive demos load automatically — see the language in action above.