Chiasmus
Formal verification via Z3 SMT solver and Tau Prolog with source code call graph analysis.
Gives LLMs access to formal verification through the Z3 SMT solver and Tau Prolog, combined with tree-sitter-based source code call graph analysis for dead code detection and reachability checks. Provides 9 tools spanning verification, graph analysis, and code review.
Source
Repository: https://github.com/yogthos/chiasmus
Maintain Chiasmus?
Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.
[](https://getagentictools.com/mcp/yogthos-chiasmus?ref=badge) Related mcp
UTCP Bridge UTCP-MCP Bridge is a universal, all-in-one MCP server that brings the full power of the Universal Tool Calling Protocol (UTCP) to
Engram Provides a persistent identity layer for AI tools with tools for user profiles, lessons, and decisions.
ProjectMem Local-first memory and judgment layer for AI coding agents with pre-commit warnings and cross-project lesson tracking.
Auth0 Integrates with LLMs and AI agents, allowing you to perform various Auth0 management operations using natural language. For instan
Plur Portable local-first memory for AI agents.
Opik Interact and analyze your Opik enviroment including traces, telemetry and metrics with natural language.