ActivityPub Viewer

A small tool to view real-world ActivityPub objects as JSON! Enter a URL or username from Mastodon or a similar service below, and we'll send a request with the right Accept header to the server to view the underlying object.

Open in browser →
{ "@context": [ "https://www.w3.org/ns/activitystreams", { "ostatus": "http://ostatus.org#", "atomUri": "ostatus:atomUri", "inReplyToAtomUri": "ostatus:inReplyToAtomUri", "conversation": "ostatus:conversation", "sensitive": "as:sensitive", "toot": "http://joinmastodon.org/ns#", "votersCount": "toot:votersCount", "litepub": "http://litepub.social/ns#", "directMessage": "litepub:directMessage", "blurhash": "toot:blurhash", "focalPoint": { "@container": "@list", "@id": "toot:focalPoint" }, "Hashtag": "as:Hashtag" } ], "id": "https://functional.cafe/users/functional_sc/statuses/113267870659516342", "type": "Note", "summary": null, "inReplyTo": null, "published": "2024-10-07T19:49:05Z", "url": "https://functional.cafe/@functional_sc/113267870659516342", "attributedTo": "https://functional.cafe/users/functional_sc", "to": [ "https://www.w3.org/ns/activitystreams#Public" ], "cc": [ "https://functional.cafe/users/functional_sc/followers" ], "sensitive": false, "atomUri": "https://functional.cafe/users/functional_sc/statuses/113267870659516342", "inReplyToAtomUri": null, "conversation": "tag:functional.cafe,2024-10-07:objectId=42523182:objectType=Conversation", "content": "<p>Join us TUE Oct 8th for &quot;LEAN Proof Assistant Series&quot; hosted by Jared Corduan where we focus on universal &amp; existential quantifiers, mirrors in pi, sigma types and the recent paper &quot;zkPi: Proving Lean Theorems in Zero-Knowledge&quot;. <a href=\"https://functional.cafe/tags/chstech\" class=\"mention hashtag\" rel=\"tag\">#<span>chstech</span></a> </p><p><a href=\"https://www.charlestonlc.org/classes/charleston-lean-proof-assistant-meetup/\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://www.</span><span class=\"ellipsis\">charlestonlc.org/classes/charl</span><span class=\"invisible\">eston-lean-proof-assistant-meetup/</span></a></p>", "contentMap": { "en": "<p>Join us TUE Oct 8th for &quot;LEAN Proof Assistant Series&quot; hosted by Jared Corduan where we focus on universal &amp; existential quantifiers, mirrors in pi, sigma types and the recent paper &quot;zkPi: Proving Lean Theorems in Zero-Knowledge&quot;. <a href=\"https://functional.cafe/tags/chstech\" class=\"mention hashtag\" rel=\"tag\">#<span>chstech</span></a> </p><p><a href=\"https://www.charlestonlc.org/classes/charleston-lean-proof-assistant-meetup/\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://www.</span><span class=\"ellipsis\">charlestonlc.org/classes/charl</span><span class=\"invisible\">eston-lean-proof-assistant-meetup/</span></a></p>" }, "attachment": [ { "type": "Document", "mediaType": "image/jpeg", "url": "https://functional.cafe/system/media_attachments/files/113/267/869/668/222/733/original/06f2f9b2f4f612bb.jpg", "name": null, "blurhash": "U7SigQxuxuoft7t7t7WB~qRjWBofofM{Rjt7", "width": 800, "height": 600 } ], "tag": [ { "type": "Hashtag", "href": "https://functional.cafe/tags/chstech", "name": "#chstech" } ], "replies": { "id": "https://functional.cafe/users/functional_sc/statuses/113267870659516342/replies", "type": "Collection", "first": { "type": "CollectionPage", "next": "https://functional.cafe/users/functional_sc/statuses/113267870659516342/replies?only_other_accounts=true&page=true", "partOf": "https://functional.cafe/users/functional_sc/statuses/113267870659516342/replies", "items": [] } }, "likes": { "id": "https://functional.cafe/users/functional_sc/statuses/113267870659516342/likes", "type": "Collection", "totalItems": 0 }, "shares": { "id": "https://functional.cafe/users/functional_sc/statuses/113267870659516342/shares", "type": "Collection", "totalItems": 0 } }