Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)
How to install chiasmus?
yogthos/chiasmus
$git clone https://github.com/yogthos/chiasmusInstalls into the current project.
›Prefer a prompt? Paste this to your agent
Install chiasmus by running `git clone https://github.com/yogthos/chiasmus`, then use it for the current task and follow its documentation at https://github.com/yogthos/chiasmus.
Related
6 picksType
- mcp-scannerA tool to scan MCP servers and tools for security findingsJul 2026
- hol-guardOpen-source antivirus and runtime protection for AI agents, tools, MCP servers, plugins, skills, and package installs.Jul 2026
- agent-scanAgent supply chain security scanner.Jul 2026
- falcon-mcpConnects AI agents with CrowdStrike Falcon for security analysis and automation.Jul 2026
- pythonPlug-and-play auth for Python MCP servers.Aug 2025
- auth0-mcp-serverAuth0 MCP Server: Manage Auth0 applications, APIs, actions, logs, and forms using natural languageJul 2026
