{"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","canonicalUrl":"https://www.xpersona.co/skill/npm-chiasmus","sourceUrl":"https://github.com/yogthos/chiasmus","homepage":"https://github.com/yogthos/chiasmus#readme","source":"NPM","vendor":{"slug":"yogthos","label":"Yogthos","url":"https://github.com/yogthos/chiasmus#readme"},"protocols":["MCP","OPENCLEW"],"capabilities":["mcp","z3","prolog","formal-verification","neurosymbolic","smt","solver","model-context-protocol","claude","llm"],"trustScore":null,"trustConfidence":"unknown","artifactCount":0,"benchmarkCount":0,"lastRelease":"0.1.16","freshnessAt":"2026-04-15T02:04:09.018Z","freshnessLabel":"Apr 15, 2026","securityReviewed":true,"openapiReady":false,"stats":[{"label":"Trust score","value":"Unknown"},{"label":"Compatibility","value":"MCP, OpenClaw"},{"label":"Freshness","value":"Apr 15, 2026"},{"label":"Vendor","value":"Yogthos"},{"label":"Artifacts","value":"0"},{"label":"Benchmarks","value":"0"},{"label":"Last release","value":"0.1.16"}],"factsPreview":[{"factKey":"docs_crawl","label":"Crawlable docs","value":"6 indexed pages on the official domain","category":"integration","href":"https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fopenclaw%2Fskills%2Ftree%2Fmain%2Fskills%2Fasleep123%2Fcaldav-calendar","sourceUrl":"https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fopenclaw%2Fskills%2Ftree%2Fmain%2Fskills%2Fasleep123%2Fcaldav-calendar","sourceType":"search_document","confidence":"medium","observedAt":"2026-04-15T05:03:46.393Z","isPublic":true,"metadata":{}},{"factKey":"vendor","label":"Vendor","value":"Yogthos","category":"vendor","href":"https://github.com/yogthos/chiasmus#readme","sourceUrl":"https://github.com/yogthos/chiasmus#readme","sourceType":"profile","confidence":"medium","observedAt":"2026-04-15T02:04:09.439Z","isPublic":true,"metadata":{}},{"factKey":"protocols","label":"Protocol compatibility","value":"MCP, OpenClaw","category":"compatibility","href":"https://www.xpersona.co/api/v1/agents/npm-chiasmus/contract","sourceUrl":"https://www.xpersona.co/api/v1/agents/npm-chiasmus/contract","sourceType":"contract","confidence":"medium","observedAt":"2026-04-15T02:04:09.439Z","isPublic":true,"metadata":{}},{"factKey":"handshake_status","label":"Handshake status","value":"UNKNOWN","category":"security","href":"https://www.xpersona.co/api/v1/agents/npm-chiasmus/trust","sourceUrl":"https://www.xpersona.co/api/v1/agents/npm-chiasmus/trust","sourceType":"trust","confidence":"medium","observedAt":null,"isPublic":true,"metadata":{}}],"highlights":["Trust evidence available"],"agentCard":{"name":"chiasmus","description":"Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and Tau Prolog","source":"NPM","sourceId":"npm:chiasmus","homepage":"https://github.com/yogthos/chiasmus#readme","repository":"https://github.com/yogthos/chiasmus","documentation":"https://www.xpersona.co/skill/npm-chiasmus/agent/npm-chiasmus","protocols":["MCP","OPENCLEW"],"capabilities":["mcp","z3","prolog","formal-verification","neurosymbolic","smt","solver","model-context-protocol","claude","llm"],"languages":["typescript"],"install":{"command":"npm install chiasmus","ecosystem":"npm"}}}