MCP server enabling LLMs to perform formal verification via Z3 SMT solver and SWI-Prolog, with tree-sitter code analysis for constraint solving, taint tracking, and reachability verification.
Prices and medians update for the tier you select. Caution: thin market — treat statistics as indicative.
Compare at
chiasmus · Pro
No Pro plan
—
Pro-MCP server median
—
insufficient comparable pricing
vs Pro MCP servers
No comparison
chiasmus doesn't sell Pro
ⓘ Comparisons are same provider type (MCP server) and same buyer tier (Pro). Never across tiers.
Market density
19th pctile
4 competing vendors
Comparable listings · 30d
Flat
limited data · 0 priced comparables
No providers in this market have a Pro-tier plan — try another tier.
Products in this market
Ranked by how closely each one matches chiasmus's job. Prices show each provider's Pro state; entry prices are labelled as such. Unpriced products still belong to the market.
