Amazing timing — I just opened [Draft ERC] Universal AI Inference
Verification Registry (link below) and your tool registry is the
missing other half.
Concretely they compose like this:
- ERC-8257 answers “which tools is this agent allowed to call”
- Our draft answers “did the agent actually produce this output,
and against which model + prompt + tool-call trace”
So a verifier can do: resolve agent → fetch allowed tool set from
8257 → check the inference proof’s tool-call manifest is a subset →
attest. Zero extra registry, both standards stay minimal.
One question for you: are tool identifiers in 8257 chain-scoped
or globally addressable (CAIP-like)? That decides whether our
manifest field needs a chainId prefix or not.
Cross link: [Draft ERC] Universal AI Inference Verification Registry - #22 by Damonzwicker