{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreif6he6ltz3vsvotrnypg3aldbg6ri6ppswnyrblb53fyaunmgh2f4",
    "uri": "at://did:plc:oldu4osfqstkn27t4qzsrgtf/app.bsky.feed.post/3mhf5zlow2ov2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreicnqgxnjlrxwsnnfqtj5oidhbcj6uk23mvfj5a5i56b5ycmge4xh4"
    },
    "mimeType": "image/png",
    "size": 92560
  },
  "path": "/iliazintchenko/agent-sat",
  "publishedAt": "2026-03-19T00:40:32.000Z",
  "site": "https://github.com",
  "tags": [
    "Comments"
  ],
  "textContent": "Comments",
  "title": "Autoresearch for SAT Solvers"
}