chiasmus

v0.1.22npm· JavaScript

Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)

The verdict

Maintained. Maintained, actively maintained. Catch: pulls in 17 runtime dependencies.

Catch: pulls in 17 runtime dependencies.

Live from the npm registry · derived rules, not AI

How it scores

MaintenanceHealthy

PopularityUnknown

SecurityClean

LicensePermissive

DepsHeavy

Maintenance

Last published this month.

Popularity

Download count unavailable.

Security

No known advisories for this version (OSV).

License

Apache-2.0

Dependencies

17 direct dependencies

Recent releases