oh and you're gonna need this [github.com/cameronfreer...](https://github.com/cameronfreer/lean4-skills )
[GitHub - cameronfreer/lean4-sk...](https://github.com/cameronfreer/lean4-skills )
dan
npub1up…dczka
2026-08-27 23:58:34 UTC
in reply to nevent1q…xesl
Author Public Key
npub1up3tvsmxq38nv6u7twyrl3x6jy35tjak4z80jv63fl9f6aluej2qcdczkaSeen on
wss://relay.momostr.pinkPublished at
2026-08-27 23:58:34 UTCEvent JSON
{
"id": "49f06feef2525223363d3a1e2838144e1d429b0366ad259928a80b7283fa159f",
"pubkey": "e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94",
"created_at": 1787875114,
"kind": 1,
"tags": [
[
"proxy",
"https://fed.brid.gy/r/https://bsky.app/profile/did:plc:fpruhuo22xkm5o7ttr2ktxdo/post/3mu42ilwyhc2j",
"web"
],
[
"e",
"10c7e0884ed4dcace3d111b8795518af6e7598e8f8ece5938a26ea4d1f4f8af8",
"",
"root",
"e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94"
],
[
"p",
"e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94"
],
[
"e",
"a1c5ed432c3399bda6e1e0ba6bef01ba7dd42f48da444ff5169e4ca6adbc592d",
"",
"reply",
"e062b64366044f366b9e5b883fc4da912345cbb6a88ef933514fca9d77fccc94"
],
[
"proxy",
"https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mu42ilwyhc2j",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mu42ilwyhc2j",
"pink.momostr"
],
[
"-"
]
],
"content": "oh and you're gonna need this [github.com/cameronfreer...](https://github.com/cameronfreer/lean4-skills )\n\n[GitHub - cameronfreer/lean4-sk...](https://github.com/cameronfreer/lean4-skills )",
"sig": "2217b2c1c228b429bbfe1821ed4903692b3828f36fb23ba9651cc177ac2dfb01af04f74f6dc5bc225f38303b4433fef6a589186dc1b411effb6398736040df1b"
}