formal-atlas
v0.2.1npm· JavaScriptNeurosymbolic code formalization — lift any codebase into logical facts and verify properties with Prolog/Datalog. Standalone, language-agnostic, points at any project.
The verdict
Maintained. Maintained, actively maintained.
Live from the npm registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityUnknown
SecurityClean
LicenseOther
DepsModerate
Maintenance
Last published this month.
Popularity
Download count unavailable.
Security
No known advisories for this version (OSV).
License
GPL-3.0-or-later
Dependencies
5 direct dependencies
Recent releases
- 0.2.1this month
- 0.2.0this month
- 0.1.0this month