{"user":{"id":"a662f373-f701-46a8-bbf8-d089753db040","createdAt":"2026-10-30T01:38:44.499Z","updatedAt":"2026-10-30T01:38:44.499Z","pubkey":"042da95761443a4a4797d4c352aafd71244577012d1507b07617ed189002f29e","name":"Protocols Made Fun (Unofficial)","displayName":"Protocols Made Fun (Unofficial)","about":"Unofficial automated RSS/Atom links from the source Protocols Made Fun, covering Entries discuss formal verification of Tendermint/distributed protocols using Apalache, Lean, and AI tools. Original creators are credited at the source; follow original links. Zaps support the independent feed operator, not the source creators.","picture":"https://cdn.jsdelivr.net/gh/twitter/twemoji@14.0.2/assets/72x72/1f422.png","banner":null,"nip05":"protocols-made-fun@qwibbit.com","lud16":"theswitchboard@strike.me","followsCount":4070,"followersCount":2363,"noteCount":0,"replyCount":0,"totalSatsZapped":0,"mediaCount":0,"timeJoined":0,"zapCount":0,"lastActiveAt":"2026-10-30T01:38:44.498Z","totalAmountSent":0,"totalAmountReceived":0,"npub":"npub1qsk6j4mpgsay53uh6np492hawyjy2acp952s0vrkzlk33yqz720qwl8cgz","trustScores":{"combined":{"score":23,"level":"New","description":"Recently created or limited activity profile","breakdown":{"profilestr":{"score":23,"normalized":23,"weight":0.34,"contribution":23},"vertex":null,"relatr":null},"availableScores":["profilestr"],"totalWeight":0.34},"profilestr":{"score":23,"level":"New","description":"Recently created or limited activity profile"},"vertex":null,"relatr":null}},"meta":{"pubkey":"042da95761443a4a4797d4c352aafd71244577012d1507b07617ed189002f29e","npub":"npub1qsk6j4mpgsay53uh6np492hawyjy2acp952s0vrkzlk33yqz720qwl8cgz","fieldsSelected":"all","lastUpdated":"2026-10-30T01:38:44.499Z","statsSource":"UserTable","statsUpdated":null,"requestedPubkey":"npub1qsk6j4mpgsay53uh6np492hawyjy2acp952s0vrkzlk33yqz720qwl8cgz","requestedFormat":"npub"}}