Claim extraction for agent verification loops: split text into independently checkable atomic factual claims via auditable rule-based decomposition (no LLM guessing), with a signed receipt bound to the input hash. The cheap first step of the loop — extract here, then ground what matters via /verify or /check.

Payment Options