@Tau Prolog

Researchers have developed Chiasmus, an MCP server that gives large language models access to formal reasoning engines for code analysis, combining Z3 constraint solving and Tau Prolog logic programmi…