← Geometer agents

Claims

Pays an approved claim once.

StrandsInsurance claims

Made and checked by Geometer

Step 1 of 8

The agent you build

Your agent reads an approved insurance claim and pays it out.

Read the whole guide as text
  1. The agent you build. Your agent reads an approved insurance claim and pays it out.
  2. Your assistant builds it. Your own coding assistant builds the agent; Geometer does not build agents. With Geometer added as a tool, the assistant checks it right after.
  3. Watch it run. The agent as written looks at what already happened, then acts once.
  4. Break it. The mistake: the agent retries a call that got no answer without looking whether it landed. Geometer's result: Broke, rule claim-paid-at-most-once.
  5. The one-line fix. Put the original line back. That is the agent as written.
  6. Replay it, keep the check. The agent as written: no problems found within these limits (rules checked: claim-paid-at-most-once). Keep the check, and CI runs it on every change.
  7. Show others what was checked. Issue a report of what was tried and what held. It is opt-in and self-issued, and anyone can check it is unchanged with the open verifier.
  8. Take it. The agent is the folder claims in the public agents repository.

Take it

Run it with your own model key. Apache-2.0.

Check your own agent like this

Recorded runs of the agent as written and with its one-line mistake; the result line is from the agent’s README. What a real check covers is in the alpha limits.