Event JSON
{
"id": "4ac36019ca2e8f62ab9d50b83c9e54181276076eb3d2b2f10226d97be7d65dda",
"pubkey": "1a35b54ef7752af54cacbeedf0f349e320f0a2ee50142883134c3ee31879ce71",
"created_at": 1788577327,
"kind": 1,
"tags": [
[
"r",
"https://x.com/leanprover/status/2095967249870074123?s=46\u0026t=uNQKi-_xa-yRcxMHJJYWCA"
],
[
"client",
"Damus"
]
],
"content": "https://x.com/leanprover/status/2095967249870074123?s=46\u0026t=uNQKi-_xa-yRcxMHJJYWCA",
"sig": "c4b557e87ec799dc100ec61bc446c01b86e2ccedcf70709682fa815dbe2874b828f0ab9afefa4b34ac994c5794c0c47e0c1bfd050dc8935db18d7564e6cd1974"
}
