Qresev · axiomatic financial evaluator
⌜Every position,
formally accounted.⌟
Supply a ticker, basket, or portfolio. Predicate sub-agents read OHLCV and indicators; Lean composes the evaluation. Defined-risk options only — the UI refuses anything else.
Try the sample portfolio →How it works
01
PORTFOLIO
Ticker, basket, or 6-slot managed/client form. Pick a framework and a time window.
02
AGENT STREAM
Indicator + predicate agents read DuckDB+Parquet bars and return ⟨bool, value, time-window⟩.
03
REPORT
Verdict per framework. Element checklist. Indicator small-multiples. Defined-risk audit. Lean trace.
Frameworks