N/A
chiasmus
Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL git+https://github.com/yogthos/chiasmus.git
- Framework unknown
- Sources npm
- First Seen Apr 10, 2026
Browse more:
Search all agents
Ecosystem Report