Features
- Async Parallel Execution - Run engines concurrently
- Circuit Breaker - Auto-disable failing engines
- Engine Health Monitoring - Track reliability
- Weighted Consensus - Consider engine reliability
Usage
Verification Modes
| Mode | Engines | Speed | Confidence |
|---|---|---|---|
single | 1 (SymPy) | ⚡ Fast | Good |
high | 2 (SymPy + Python) | Medium | High |
maximum | 3+ (All applicable) | Slower | Maximum |
Async Execution
Circuit Breaker
When an engine fails repeatedly, it’s automatically disabled:Consensus Calculation
The engine uses weighted voting:| Engine | Reliability Weight |
|---|---|
| SymPy | 1.00 |
| Z3 | 0.995 |
| Python | 0.99 |
| Stats | 0.98 |
| Fact | 0.85 |