N/A
chiasmus
Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and Tau Prolog
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