An MCP server providing Hindley-Milner polymorphic type inference with Algorithm W unification and occurs checking. It includes a pure-Python lexer, parser, bytecode VM, and JSON-RPC stdio endpoint.
Prices and medians update for the tier you select.
Compare at
GenPark Hindley-Milner Type Checker · Pro
No Pro plan
—
Pro-provider median
—
insufficient comparable pricing
vs Pro providers
No comparison
GenPark Hindley-Milner Type Checker doesn't sell Pro
ⓘ Comparisons are same provider type (provider) and same buyer tier (Pro). Never across tiers.
Market density
0th pctile
0 competing vendors
Comparable listings · 30d
—
MCP servers · Pro median
$59/mo
7 priced · $34.5–$109 mid 50%
Price spectrum · Pro plans · 6 of 6 providers priced · log scale · $5 → $1980/mo
MCP servers◻ shaded = middle 50% · line = median (all types)GenPark Hindley-Milner Type Checker has no comparable Pro price — not plotted
Products in this market
Ranked by how closely each one matches GenPark Hindley-Milner Type Checker's job. Prices show each provider's Pro state; entry prices are labelled as such. Unpriced products still belong to the market.
Market = the products most similar to this one by capability; prices are median / quartiles over its priced members, separated by provider type and buyer tier.