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" } ], "id": "https://mathstodon.xyz/users/jsm28/statuses/112136448081213342/activity", "type": "Create", "actor": "https://mathstodon.xyz/users/jsm28", "published": "2024-03-22T00:13:27Z", "to": [ "https://www.w3.org/ns/activitystreams#Public" ], "cc": [ "https://mathstodon.xyz/users/jsm28/followers", "https://mathstodon.xyz/users/ykonstant" ], "object": { "id": "https://mathstodon.xyz/users/jsm28/statuses/112136448081213342", "type": "Note", "summary": null, "inReplyTo": "https://mathstodon.xyz/users/jsm28/statuses/112136440496928890", "published": "2024-03-22T00:13:27Z", "url": "https://mathstodon.xyz/@jsm28/112136448081213342", "attributedTo": "https://mathstodon.xyz/users/jsm28", "to": [ "https://www.w3.org/ns/activitystreams#Public" ], "cc": [ "https://mathstodon.xyz/users/jsm28/followers", "https://mathstodon.xyz/users/ykonstant" ], "sensitive": false, "atomUri": "https://mathstodon.xyz/users/jsm28/statuses/112136448081213342", "inReplyToAtomUri": "https://mathstodon.xyz/users/jsm28/statuses/112136440496928890", "conversation": "tag:mathstodon.xyz,2024-03-21:objectId=89813587:objectType=Conversation", "content": "<p><span class=\"h-card\" translate=\"no\"><a href=\"https://mathstodon.xyz/@ykonstant\" class=\"u-url mention\">@<span>ykonstant</span></a></span> There have been several discussions on Zulip about the Jordan curve theorem or combinatorial maps / plane maps / planar graphs (and possible approaches for formalizing them), but so far none of those discussions have resulted in someone formalizing any of those things.</p>", "contentMap": { "en": "<p><span class=\"h-card\" translate=\"no\"><a href=\"https://mathstodon.xyz/@ykonstant\" class=\"u-url mention\">@<span>ykonstant</span></a></span> There have been several discussions on Zulip about the Jordan curve theorem or combinatorial maps / plane maps / planar graphs (and possible approaches for formalizing them), but so far none of those discussions have resulted in someone formalizing any of those things.</p>" }, "attachment": [], "tag": [ { "type": "Mention", "href": "https://mathstodon.xyz/users/ykonstant", "name": "@ykonstant" } ], "replies": { "id": "https://mathstodon.xyz/users/jsm28/statuses/112136448081213342/replies", "type": "Collection", "first": { "type": "CollectionPage", "next": "https://mathstodon.xyz/users/jsm28/statuses/112136448081213342/replies?min_id=112136460543349970&page=true", "partOf": "https://mathstodon.xyz/users/jsm28/statuses/112136448081213342/replies", "items": [ "https://mathstodon.xyz/users/jsm28/statuses/112136460543349970" ] } }, "likes": { "id": "https://mathstodon.xyz/users/jsm28/statuses/112136448081213342/likes", "type": "Collection", "totalItems": 0 }, "shares": { "id": "https://mathstodon.xyz/users/jsm28/statuses/112136448081213342/shares", "type": "Collection", "totalItems": 0 } } }