The offer, the price and the close

Sell VeriCoding inside Fix + Prove, per critical function.

What you sell

Fix + Prove

We ship the patch and prove it: the test fails on the old code and passes on the new.

$500 small fix · $1,500 standard · $2,500 complex fix

Turnaround: 1–2 weeks · Payment: 50% up front

VeriCoding is sold per function inside Fix + Prove: we write the contract with the client, prove it or find the counterexample, fix if needed, and sign.

What the client receives

The patch, applied on a branch.
An independent test that fails on the old code and passes on the new.
A signed, hash-chained record and a standalone verifier.
A short note the buyer can forward to their own customer.

What the offer itself says about its limits

A proof covers the contract and the tests we ran; it is not a proof that the whole system is safe.
If the independent test cannot run, the verdict is NOT_VERIFIED and nothing is issued.
We do not claim a fix we did not prove.

Price source: cain_audit/products.py → fix-prove. Prices are the founder's proposed list prices, not validated market rates; any discount needs the founder's OK.

What you need from the client

The function(s) and what must always be true.
Written confirmation they own the code.

How to close

Pick one critical function together.
Quote Fix + Prove: $500 small / $1,500 standard.
Founder agrees the contract in writing.

Copy you can send

First email

Subject: proving your [fee / limit] rule for every input

Hi [first name],

Tests cover the inputs someone thought of. We prove small critical functions correct for
every input, or hand you the exact input that breaks them, signed.

Demo: https://cainstudio.online/top25-vericoding-demo.html

[your name], FIRME AI CORPORATION

LinkedIn connection note (under 300 characters)

Hi [name], we prove small critical functions (fees, limits, permissions) correct for every input, or find the input that breaks them. Happy to show a 2-minute demo.

Follow-up, three days later

Hi [first name], if you name one function that keeps you up at night, I'll tell you whether we can prove it.

Fill in the brackets by hand for each person. Never paste the same message to a list.

Hand-off to the founder

Email vincent@firmeai.com with: company, person and role, what they said in their own words, which offer, the price you quoted, and the agreed next date. The founder handles scoping, written authorisation to test, invoices and delivery.

Next: the rules, the glossary and the quiz →

FIRME AI CORPORATION · CAIN-42 is a Byzantine trust fabric. Numbers marked "our own check" were run by us, not by an independent party. Nothing on these pages is a certification.