list_markets- Hyperliquid perps Proviso can trade (crypto, and stocks, metals, oil and indices on the xyz dex): mark price, 24h volume and max leverage. Optional text filter.
market_stats- One market's last price, 24h change and 7-day high and low, from Hyperliquid's hourly history.
draft_rule- Turns a trading idea in plain English into a Proviso rule, with a plain-English read-back and anything ambiguous or unsupported. Drafted as paper (simulated); prepare_seal can change the mode.
dry_run- Replays a rule over the last 90 days of Hyperliquid hourly history (paper, fees and funding included, re-armed a day after each fire): return, worst drawdown, fires, win rate. Up to 5x leverage (pre-IPO 2x).
check_rule- Finds problems with the rule itself: liquidation before the stop, targets eaten by fees, size against volume, never fires or already true, contradictory wording. Never says whether to trade.
would_fire_now- Whether the rule's conditions hold on live prices right now (would_fire, waiting or unknown).
prepare_seal- Validates the rule and returns a link the person opens to read it back, run the checks and seal it on Robinhood Chain with their own wallet. Nothing is sealed or traded until they do. The rule travels in the link's # fragment, so it never reaches a server.
get_call- A sealed call's public facts: owner, state, seal and reveal transactions, fires, stamped P&L, what followers made, and its page (which verifies itself in the browser).
get_caller- A caller's sealed record: standing (ladder, return, drawdown, score), what followers made, and their latest 20 calls.
leaderboard- Top 20 callers by risk-adjusted score (return over drawdown) and top 20 by what their followers made.
arena_season- This week's Proviso Arena: AI models and people racing sealed paper calls on real order books.