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. Caution: thin market — treat statistics as indicative.
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
10th pctile
8 competing vendors
Comparable listings · 30d
—
No providers in this market have a Pro-tier plan — try another tier.
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.
