{
  "slug": "proof-assistant",
  "keyword": "proof assistant",
  "total": 7,
  "limit": 100,
  "offset": 0,
  "page": "https://rssamplifier.com/topics/proof-assistant",
  "feeds": [
    {
      "slug": "ta180m-exozy-me",
      "title": "Unnamed Website",
      "description": "Recent content on Unnamed Website",
      "siteUrl": "https://unnamed.website/",
      "kind": "blog",
      "itemCount": 20,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/ta180m-exozy-me"
    },
    {
      "slug": "unnamed-website",
      "title": "Unnamed Website",
      "description": "Recent content on Unnamed Website",
      "siteUrl": "https://unnamed.website/",
      "kind": "blog",
      "itemCount": 20,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/unnamed-website"
    },
    {
      "slug": "logicgrimoire-wordpress-com",
      "title": "the logic grimoire",
      "description": null,
      "siteUrl": "https://logicgrimoire.wordpress.com",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/logicgrimoire-wordpress-com"
    },
    {
      "slug": "kuruczgy-com-blog",
      "title": "Gyuri's blog",
      "description": "Recent content in Blogs on György Kurucz's blog",
      "siteUrl": "https://kuruczgy.com/",
      "kind": "blog",
      "itemCount": 5,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/kuruczgy-com-blog"
    },
    {
      "slug": "philipzucker-com",
      "title": "Hey There Buddo!",
      "description": "A blog about life, programming, math, logic, and physics.",
      "siteUrl": "https://www.philipzucker.com/",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/philipzucker-com"
    },
    {
      "slug": "philipzucker-com-2",
      "title": "Hey There Buddo!",
      "description": "A blog about life, programming, math, logic, and physics.",
      "siteUrl": "https://www.philipzucker.com/",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/philipzucker-com-2"
    },
    {
      "slug": "leodemoura-github-io",
      "title": "Leonardo de Moura",
      "description": "Blog posts and notes from Leonardo de Moura — creator of Lean and Z3.",
      "siteUrl": "https://leodemoura.github.io",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/leodemoura-github-io"
    }
  ]
}