{"user":{"id":"2d905824-be18-4359-8848-492c10b229e1","createdAt":"2026-10-30T00:40:23.755Z","updatedAt":"2026-10-30T00:40:23.755Z","pubkey":"7b8798b049be314a872a45b3ec2fc747c91ea184f56afc416d3c961a3a127f11","name":"Leonardo de Moura (Unofficial)","displayName":"Leonardo de Moura (Unofficial)","about":"Unofficial automated RSS/Atom links from the source Leonardo de Moura, covering Recent entries discuss Lean-kernel soundness bugs and verification of Signal/Rust, directly relevant to open-source theorem proving and software security. 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/1f4c4.png","banner":null,"nip05":"leonardo-de-moura@qwibbit.com","lud16":"theswitchboard@strike.me","followsCount":4070,"followersCount":1892,"noteCount":1,"replyCount":0,"totalSatsZapped":0,"mediaCount":0,"timeJoined":1792121431,"zapCount":0,"lastActiveAt":"2026-10-30T00:40:23.754Z","totalAmountSent":0,"totalAmountReceived":0,"npub":"npub10wre3vzfhcc54pe2gke7ct78gly3agvy7440cstd8jtp5wsj0ugsjh99u7","trustScores":{"combined":{"score":29,"level":"New","description":"Recently created or limited activity profile","breakdown":{"profilestr":{"score":29,"normalized":29,"weight":0.34,"contribution":29},"vertex":null,"relatr":null},"availableScores":["profilestr"],"totalWeight":0.34},"profilestr":{"score":29,"level":"New","description":"Recently created or limited activity profile"},"vertex":null,"relatr":null}},"meta":{"pubkey":"7b8798b049be314a872a45b3ec2fc747c91ea184f56afc416d3c961a3a127f11","npub":"npub10wre3vzfhcc54pe2gke7ct78gly3agvy7440cstd8jtp5wsj0ugsjh99u7","fieldsSelected":"all","lastUpdated":"2026-10-30T00:40:23.755Z","statsSource":"UserTable","statsUpdated":null,"requestedPubkey":"npub10wre3vzfhcc54pe2gke7ct78gly3agvy7440cstd8jtp5wsj0ugsjh99u7","requestedFormat":"npub"}}