PyPI page
Home page
Author:
Millennium Research
License:
# Functional Source License, Version 1.1, Apache 2.0 Future License
## Abbreviation
FSL-1.1-Apache-2.0
## Notice
Copyright 2026 Mill...
Summary:
A calibrated faithfulness screen for informal↔Lean 4 statement pairs, on the command line and over MCP. Screens only, never certifies.
Latest version:
0.1.1
Required dependencies:
httpx
|
mcp
|
pydantic
|
pydantic-settings
Optional dependencies:
mypy
|
pytest
|
ruff
Downloads last day:
1
Downloads last week:
10
Downloads last month:
25
7-day smoothing