ATProto Browser

Record data

{
  "uri": "at://did:plc:susc6mr26zl3wisqpqvdk33d/app.bsky.feed.post/3loosgrsals2c",
  "cid": "bafyreidvqx75lei7er5nra7jitaqykgcqnyslzbcx5qrakq2iwnsyomxbm",
  "value": {
    "text": "besides proper cfg, the only other solution would maybe be to use `--extern` and inject kani across everything similar to the way `cargo kani` does, but that requires my dev environment exactly match the kani environment, which is undesirable, a lot more complicated, and otherwise unnecessary.",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreib2fo4v6efoi2cap72lpntpuiy6jgnd7abatlizmt4nhblcj4ijhq",
        "uri": "at://did:plc:susc6mr26zl3wisqpqvdk33d/app.bsky.feed.post/3loor3f46zc2v"
      },
      "parent": {
        "cid": "bafyreih74vqs2e5ysbtde32uy2vnf72vmiczyzhd3aphart4wgqplklwqa",
        "uri": "at://did:plc:susc6mr26zl3wisqpqvdk33d/app.bsky.feed.post/3loos4lgq7l2d"
      }
    },
    "createdAt": "2025-05-08T20:57:37.043Z"
  }
}