Open Responses Integration
Intercept and verify LLM tool calls in your agentic loop.Quick Start
Tool Call Flow
- LLM emits tool call with arguments
- QWED intercepts and verifies using symbolic solver
- Returns verified result with receipt
Available Tools
| Tool | Description | Engine |
|---|---|---|
calculate_npv | Net Present Value | SymPy |
calculate_loan_payment | Monthly loan payment | SymPy |
check_aml_compliance | AML threshold check | Z3 |
price_option | Black-Scholes pricing | Calculus |