PyPI page
Home page
License:
MIT
Summary:
Physics-aware LLM guardrail — deterministic dimensional analysis with Z3 SMT proof and calibrated abstention
Latest version:
1.0.1
Optional dependencies:
antlr4-python3-runtime
|
dodopayments
|
faiss-cpu
|
fastapi
|
numpy
|
psycopg2-binary
|
pytest
|
rank-bm25
|
sentence-transformers
|
sympy
|
uvicorn
|
z3-solver
Downloads last day:
0
Downloads last week:
5
Downloads last month:
80
7-day smoothing