pi-autocontext-erdos
v0.1.42npm· JavaScriptPi package for AutoContext-assisted Erdős-style formal math problem loops with Lean verification.
The verdict
Maintained. Maintained, actively maintained.
Live from the npm registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityUnknown
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published this month.
Popularity
Download count unavailable.
Security
No known advisories for this version (OSV).
License
Apache-2.0
Dependencies
No runtime dependencies
Recent releases
- 0.1.42this month
- 0.1.41this month
- 0.1.40this month
- 0.1.39this month
- 0.1.38this month
- 0.1.37this month
- 0.1.36this month
- 0.1.35this month