Delegation subset proofs over Till-grammar fixture mandates; proofs only, never grants authority.
Maintain this server? Claim it
This server only runs locally, from a package. Install it with the instructions on this page to try it.
We haven't seen a tool list from this server yet.