Backed by Y Combinator

Every bidder proposes on their own terms.
We put them on yours.

Benchify prices every term in every bidder's contract against your client's real claims, then ranks the bids by what the client would actually have paid.

For benefit brokers, consultants, and the self-funded employers they advise.

RFP analysis
173 terms · 35 flagged
every contract term, pricedflaggednet PMPM
Bidder B4$143.95
2nd on paper · its largest single credit, §4.2(c), is worth $486K
Bidder A6$148.20+$326K
Bidder C7$151.40+$572K
Bidder D8$155.80+$910K
Bidder E10$162.30+$1.41M
priced as writtenambiguous — both readings pricedadverse — redline draftedunknown — the field it needs isn't in your data
Exclusions and carve-outs

Contracts are not written to be compared.

They are written to govern one relationship, not to line up beside a competitor's. So the comparison falls to the rate card. One carve-out can outweigh every discount difference in it.

Rebate credit · §7.4
contract v3
§7.4(a)p. 31 · the grant

Plan shall receive a rebate credit for all brand claims adjudicated through the retail network.

Credit as read$612,000
4,100 brand retail claims
§7.4(b)p. 34 · the exception

...excluding claims for products within a manufacturer-designated therapeutic family subject to a separate pricing arrangement.

Credit as written$418,000
2,760 claims still earn credit1,340 carved out
What the exception cost
Same rate card, same claims. The sentence on page 34 is the only difference.
−$194,000

The discount was real and the credit was real. Nothing here is hidden. But this is one sentence in one bidder's contract, and every bidder writes its own — so there is nothing the bids can be lined up against. Whoever recommends one will be asked why.

Net cost modeling

Where the ranking changes.

So the comparison has to run on the one basis no bidder chose: what your client would actually have paid. Bidder A leads on the rate card, and on that basis the order comes out the other way.

Net cost bridge
PBM RFP · Q1 claims
Bidder A net cost
$148.20
PMPM · $11.38M annual
Rank1st as bid2nd modeled
Bidder B net cost
$143.95
PMPM · $11.06M annual
Rank2nd as bid1st modeled
Rebate guarantee credit
Bidder B
−$486K
Discount guarantee credit
Bidder B
−$247K
Dispensing fees
Bidder B
−$8K
Administrative & program fees
Bidder A
+$415K
Guarantees and dispensing favor B−$741K
Fees favor A+$415K
Net difference
Bidder B · $4.25 PMPM
$326K

Four contract lines and four clauses put a different bidder first.

Bring one client's RFP and we'll build this for it.

Start with one contract
Contract execution

Everyone else benchmarks the rates.
We execute the contract.

Rate data tells you what a price is. Contract language decides which price applies, to what, and with what excluded.

What benchmark data cannot settle
What benchmark data gave us
Negotiated rate$1,240Benchmark62nd pctilePeer range$980–$1,510

Precise, and none of it decides the rows below.

01
Which guarantee bucket appliesDefinitions§2.1
Brand, single source.
02
Whether this claim is excludedExclusions§7.4(b)
Not excluded.
03
Which channel it routes toRouting rulesExhibit A
Mail, 84-day supply.
04
Whether the rate is reachableRate exhibit§5.3
Reachable.
05
What the credit actually netsCredits§4.2(c)
Brand rebate credit, mail schedule.$118.40

4 of these 5 were settled by contract language, not by the rate exhibit.

Every obligation in the agreement becomes a rule with the clause it came from attached. Your claims run against it, and each determination is recorded: same inputs, same output, every time.

What this took
claims_file.csvagreement.pdf
Deterministic execution

The contract becomes a program, not a prompt.

We verify contract language the way critical software is verified. Each obligation compiles to a rule with its clause attached, and the answer comes from executing that rule against your claims.

Three possible results
per obligation
01
It resolves

A number, and the clause that produced it.

$418,000
02
It does not resolve

Every valid reading, enumerated and priced separately.

3 readings
03
Your data cannot answer it

The field the contract computes off, which the extract does not carry.

§6.2
A model always returns an answer. This tells you which of the three you have.
Bids, ambiguity and redlines

Compile the contract once.
Ask it anything after that.

The contract only has to be compiled once. After that the ambiguity, the redline and next year's market check all run off the same rules — including which rates and which terms are worth the most to negotiate, against your own claims.

Any contract

Price the ambiguity

Where language does not resolve to a single rule, we enumerate every defensible reading and price each one. Failure to compute is the finding, not a gap to paper over.

The term§2.14

“Rebate credits shall exclude claims for low-cost brand products.”

Reading 1 — WAC below generic ceiling
vendor-favorable
$74K2,180 excl.
Reading 2 — WAC below plan-specific threshold
$212K1,240 excl.
Reading 3 — brand with an available generic equivalent
client-favorable
$338K410 excl.
Exposure spread
Between the cheapest and dearest valid reading. Same clause, same claims.
$264,000
Full RFP

Rank the bidders on one basis

We execute every bid in the field against the same claims file, not the three there was time to model by hand.

Bidder B2nd1st$143.95
Bidder A1st2nd$148.20
Bidder C5th3rd$151.40
Bidder D4th4th$155.80
Bidder E3rd5th$162.30
Headline rank net rank. 4 of 5 land somewhere else.
Renewal

Draft the redlines

Counter-language written into the contract text, with the math attached to every change.

...exclude claims for low-cost brand products.
+...exclude claims for brand products with an available generic equivalent, as defined in Exhibit C.

Closes the §2.14 exposure priced above.

Renewal

Rank the rates worth pushing

We execute the contract against your own claims, then rank every rate tier by what a point of movement repays on this book — not by whether it beats a market table.

Rates, per point of AWPWorth negotiating
Specialty generic§3.1(b)$31K
Retail generic§3.1(a)$12K

Priced on your 27,400 claims. A different book ranks these differently.

Renewal

Rank the language worth pushing

The same execution ranks definitional scope, control rights and remedies. They are not rate tiers, and they routinely outrank every rate on the page.

Language, per provisionWorth negotiating
Rebate definition scope§4.2$212K
Specialty list control§2.9$138K
Market-check remedy§8.3$74K

Priced on your 27,400 claims. A different book ranks this differently.

Market check

Project next year's rates

Proposed discounts and rebate rates run against your own prior-year utilization.

ProposedAWP discount
Retail generic-87.2%
Retail brand-18.1%
Specialty generic-26.5%
Applied to 27,400 prior-year claims, at your actual mix
Any contract

Flag what your data cannot answer

Where a clause computes off a field your extract does not carry, we report it as a finding about the agreement rather than approximating it silently.

The clause computes off
AWP at date of fill
§6.2
Your extract carries
AWP at adjudication
claims_file.csv

Sometimes a substitute field can be validated against the clause. When it cannot, that is the finding.

Pharmacy, medical and stop-loss

Four questions. Four different reasons comparison fails.

Three contracts, except medical asks two separate questions: what the providers get paid, and what the administrator charges on top. Each fails comparison for its own reason, and each is answered from the contract text.

The deeper discount can apply to half as many claims.

Same guarantee, two denominators
Retail generic
Generic claims filled at retail16,300
Bidder AAWP -87.2%deeper on paper
8,400 claims reach it · 52%7,900 moved to specialty
Bidder BAWP -83.4%
14,900 claims reach it · 91%1,400 moved to specialty

A's deeper discount is measured on 8.4K claims. B's shallower one is measured on 14.9K.

The rate is comparable. What it applies to is not.
Clause-level traceability

Every number opens.

Click any figure and descend: from the projection, to the clause that governs it, to the claims it was computed from.

Re-runnable, and identical every time.

The same contract and the same claims produce the same number a year later, which is what makes the trail worth keeping.

SOC 2 Type IIHIPAA compliantBAA before any data movesDeterministic logicTwo-file intake
Receipt-level audit trail
4 levels
01Modeled net cost
$143.95 PMPMBidder B
02Rebate guarantee credit
$486K§4.2(c)
03
Applicable claim
Exclusion filters
Channel assignment
Market share
Formulary alignment
Rebate credit
04
claim_iddrug_classchannelcredit_applied
RX-48291Autoimmune biologicMail$118.40
RX-49877Autoimmune biologicSpecialty$124.10
RX-51203Oncology supportMail$96.75
4,100 claims · view all
No integration project

Two files: the claims extract and the contracts.

The plan already has both. Nothing has to be requested from the vendor being measured.

Defensible record

The record assembles itself.

Every figure traces to a clause and a claim line, so the documentation of how the decision was reached is a byproduct of making it.

When a plan's payments to a service provider are questioned, the documentation of how that vendor was selected is what gets examined.

Firm economics

The work gets cheaper to run and harder to lose.

Your client gets a better contract. Here is what you get.

Recommendation memo
PDF · client-ready
Your logo
Prepared for
Your client
Prepared by
Your firm
Contents
Net cost bridge, every bidderranked by net cost
Clause-level comparisonclause-referenced
Priced ambiguitieswith exposure
Recommended redlinesnegotiation-ready

Every figure in it traces to a clause and a claim line, so the questions it invites are ones you can answer in the room.

Cost

The analyst hours go away.

Repricing a bid by hand takes days. Here the marginal cost of one more bidder is effectively zero, so candidate lists stop being limited by reading time.

Throughput

More clients, same team.

Senior analyst capacity is what caps RFP volume. Removing manual repricing moves that ceiling without adding headcount.

Retention

A reason to be in the room at renewal.

A clause-level comparison and a set of redlines is a concrete, recurring deliverable.

96%
call it important
58%
say they get it
Strategic guidance (Zywave, 2026)
Ownership

You stay the advisor of record.

A tool you run, not a firm you bring in. Every alternative puts someone else's experts in front of your client.

And after the award.

The same compiled contract verifies whether the vendor delivered what they bid: guarantees reconciled against real claims, not against their own reporting.

Rate benchmarking is table stakes in a finalist meeting. A priced ambiguity report is not.

What you send

One contract is enough.

Send what you already have. You get modeled output back before you get a sales call.

59% of employers are making cost-cutting plan changes in 2026, up from 44% two years ago (Mercer, 2025). Vendor selection is the one lever that does not touch the benefit.

Two inputs, either way
01

You have an RFP in flight

Send one client's claims file and the bidder contracts. You get back the net cost bridge, ranked by what your client would actually have paid.

You send
claims_file.csv
bidder_contracts.pdf
You get back
Net cost bridge
ranked
Clause-level comparison
all bidders
02

You have a contract in force

Send the agreement and a claims file. You get back the priced ambiguities, the disadvantageous terms ranked by dollar impact, and redlines you can use. No RFP.

You send
claims_file.csv
current_agreement.pdf
You get back
Priced ambiguities
with exposure
Drafted redlines
negotiation-ready

Send one file and one contract.

BAA executed before any data moves. Market check, mid-term renegotiation, or full bid: the mechanic is the same.

Start with one contract