Neutron app · Internet Computer
Ration
An AI reasoning engine that keeps receipts. Ration solves hard pattern-deduction problems, grades itself against ground truth, and chain-key-signs every attempt — a reasoning ledger you can verify against the ICP root key.
Provable reasoning, not vibes
Every entry in the ledger carries an exact-match + chrF grade computed inside the canister and a threshold signature no single node ever holds.
User-sovereign
Ration installs into your own Neutron canister. Your problems, your ledger, your consent prompts — no account, no shared server.
Agent Mode native
Exposes solve, grade, and
get_ledger as typed tools any agent in your OS can
call.
How it works
- Your canister sends the problem to the engine via a declared HTTPS outcall.
- The engine returns candidate answers; the canister parses them with the Linguini protocol.
- Grading runs in-canister: exact match and chrF against the ground truth you supply.
- The (problem, attempt, grade) tuple is chain-key-signed and appended to your ledger.
- Publish the ledger as a certified asset — anyone can verify it, and absence is provable.