chiasmus.cr

Crystal port of chiasmus: MCP server for formal verification with Z3 SMT solver, SWI-Prolog, and tree-sitter-based source code analysis. Uses Crig for LLM integration with DeepSeek support.
Repository

chiasmus.cr

Owner
Statistic
  • 0
  • 0
  • 0
  • 0
  • 7
  • 2 days ago
  • April 18, 2026
License

MIT License

Links
Synced at

Sat, 18 Apr 2026 05:34:13 GMT

Languages
Crystal 83.39% Ruby 11.1% Shell 5.44% Makefile 0.07%