{"id":"b9adbf61-a4bb-4f47-ab8d-04c7613753a2","slug":"npm-chiasmus","name":"chiasmus","description":"Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and Tau Prolog","capabilities":["mcp","z3","prolog","formal-verification","neurosymbolic","smt","solver","model-context-protocol","claude","llm"],"protocols":["MCP","OPENCLAW"],"safetyScore":77,"overallRank":39,"trustScore":null,"trust":null,"source":"NPM","updatedAt":"2026-04-15T02:04:09.439Z"}