🧩

Chiasmus.Cr

Open-source skill, curated and packaged by MarketNow. Original authors retain all rights.

$4.53

General Minimal 2/5

Crystal port of yogthos/chiasmus - an MCP server for formal verification with Z3 SMT solver, Tau Prolog, and tree-sit

generalchiasmus

Install

# See README

Sentinel: 2/5 — Minimal

Language: unknown

Category: General

Slug: chiasmus-cr

Docker: ✗ No

Verified: ✗ No

Price: $4.53

Secure checkout · Instant delivery

Embed this badge in your README

[![Sentinel 2/5](https://marketnow.site/badge/chiasmus-cr.svg)](https://marketnow.site/skill/chiasmus-cr)