chiasmus.cr

dsisnero/chiasmus.cr

★ 0 stars Crystal API Integration Updated today

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.

View on GitHub → 🔍 Audit Wallet Slippage →

Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "chiasmus.cr": {
      "command": "npx",
      "args": [
        "-y",
        "dsisnero/chiasmus.cr"
      ]
    }
  }
}

README Excerpt

Crystal port of [yogthos/chiasmus](https://github.com/yogthos/chiasmus), built as an MCP server for formal verification and source-code analysis. Chiasmus.cr combines: - Z3 for SMT-based reasoning - SWI-Prolog, driven through `crolog`, for graph and rule queries - tree-sitter for multi-language code extraction

Tools (20)

anthropicchiasmuschiasmus_craftchiasmus_crigchiasmus_formalizechiasmus_graphchiasmus_learnchiasmus_lintchiasmus_mapchiasmus_reviewchiasmus_searchchiasmus_skillschiasmus_solvechiasmus_verifydeepseekgeminigroqmistralollamaopenai

chiasmus.cr

Quick Install

README Excerpt

Tools (20)

Related API Integration Servers