Open-source relation-algebra verifier for LLM and agent multi-hop reasoning. It checks claims against grounded proof paths and can be used as a Python library, function-calling tool, or MCP server.
Prices and medians update for the tier you select.
Compare at
grounded-reasoning · Pro
No Pro plan
—
Pro-MCP server median
—
insufficient comparable pricing
vs Pro MCP servers
No comparison
grounded-reasoning doesn't sell Pro
ⓘ Comparisons are same provider type (MCP server) and same buyer tier (Pro). Never across tiers.
Market density
8th pctile
4 competing vendors
Comparable listings · 30d
—
Price spectrum · Pro plans · 1 of 4 providers priced · log scale · $28 → $28/mo
MCP servers◻ shaded = middle 50% · line = median (all types)grounded-reasoning has no comparable Pro price — not plotted
Products in this market
Ranked by how closely each one matches grounded-reasoning'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.