Two ways in: vortex verbs, or OpenID Connect.

1. Vortex verbs

   Fetch the verify key once, then check tokens offline.

   do
     audience "wiki"
     signet "ws://127.0.0.1:7420"

   The whole of it →

2. OpenID Connect

   Declare a client; any relying party that speaks OpenID Connect signs in.

   client
     (signedWith EdDSA
       (publicClient "notes"
         ["https://notes.example.org/callback"]
         ["openid", "profile"]))

   The whole of it →