API endpoint for Port's.

GET /api/port/15512/?format=api
HTTP 200 OK
Allow: GET, HEAD, OPTIONS
Content-Type: application/json
Vary: Accept

{
    "url": "https://portsfallout.com/api/port/15512/?format=api",
    "categories": [
        {
            "url": "https://portsfallout.com/api/category/37/?format=api",
            "name": "math"
        }
    ],
    "origin": "math/lean",
    "name": "lean",
    "comment": "Theorem prover",
    "maintainer": "[email protected]",
    "www": "https://leanprover-community.github.io/",
    "main_category": "math"
}