Verified AI reasoning SDK. The layer between LLMs and formal constraint solvers — every answer mathematically proven correct.
Coming soon. Open-source under Apache 2.0.
- Website: https://astraintella.com
- Parent company: AstraIntella — verified AI reasoning infrastructure
This repository is a placeholder. The SDK is under active development in a private workspace. Public release expected soon.
Verasolve gives LLMs the ability to solve constraint problems with mathematical guarantees:
- Validate — catch malformed, contradictory, or ill-posed constraints before wasting compute
- Route — pick the optimal solver backend (Z3 for discrete/exact; future energy-based backends for continuous/nonlinear)
- Solve — run the problem through the solver
- Verify — independently check that the returned solution satisfies every original constraint
- Explain — report binding constraints, slack, and sensitivity analysis
Every solution carries a verification guarantee: if Verasolve says it's correct, it's mathematically proven correct.
LLMs can understand constraint problems but cannot prove their answers are right. Benchmarks show frontier LLMs fail on the majority of hard constraint problems when working alone. Verasolve closes that gap by delegating solving to formal solvers and verifying the result independently.
Apache 2.0 — see LICENSE.
AstraIntella — https://astraintella.com