GitHub Application API — Delete

naftiko: 1.0.0-alpha2
info:
  label: GitHub Application API — Delete
  description: 'GitHub Application API — Delete. 4 operations. Lead operation: GitHub Delete an Installation for the Authenticated
    App. Self-contained Naftiko capability covering one Github business surface.'
  tags:
  - Github
  - Delete
  created: '2026-05-19'
  modified: '2026-05-19'
binds:
- namespace: env
  keys:
    GITHUB_API_KEY: GITHUB_API_KEY
capability:
  consumes:
  - type: http
    namespace: app-delete
    baseUri: ''
    description: GitHub Application API — Delete business capability. Self-contained, no shared references.
    resources:
    - name: app-installations-installation_id
      path: /app/installations/{installation_id}
      operations:
      - name: deleteaninstallationfortheauthenticatedapp
        method: DELETE
        description: GitHub Delete an Installation for the Authenticated App
        outputRawFormat: json
        outputParameters:
        - name: result
          type: object
          value: $.
    - name: applications-grants-grant_id
      path: /applications/grants/{grant_id}
      operations:
      - name: deletegrant
        method: DELETE
        description: GitHub Deletegrant
        outputRawFormat: json
        outputParameters:
        - name: result
          type: object
          value: $.
    - name: applications-client_id-grant
      path: /applications/{client_id}/grant
      operations:
      - name: deleteanappauthorization
        method: DELETE
        description: GitHub Delete an App Authorization
        outputRawFormat: json
        outputParameters:
        - name: result
          type: object
          value: $.
        inputParameters:
        - name: body
          in: body
          type: object
          description: Request body (JSON).
          required: true
    - name: applications-client_id-token
      path: /applications/{client_id}/token
      operations:
      - name: deleteanapptoken
        method: DELETE
        description: GitHub Delete an App Token
        outputRawFormat: json
        outputParameters:
        - name: result
          type: object
          value: $.
        inputParameters:
        - name: body
          in: body
          type: object
          description: Request body (JSON).
          required: true
    authentication:
      type: bearer
      token: '{{env.GITHUB_API_KEY}}'
  exposes:
  - type: rest
    namespace: app-delete-rest
    port: 8080
    description: REST adapter for GitHub Application API — Delete. One Spectral-compliant resource per consumed operation,
      prefixed with /v1.
    resources:
    - path: /v1/app/installations/{installation-id}
      name: app-installations-installation-id
      description: REST surface for app-installations-installation_id.
      operations:
      - method: DELETE
        name: deleteaninstallationfortheauthenticatedapp
        description: GitHub Delete an Installation for the Authenticated App
        call: app-delete.deleteaninstallationfortheauthenticatedapp
        outputParameters:
        - type: object
          mapping: $.
    - path: /v1/applications/grants/{grant-id}
      name: applications-grants-grant-id
      description: REST surface for applications-grants-grant_id.
      operations:
      - method: DELETE
        name: deletegrant
        description: GitHub Deletegrant
        call: app-delete.deletegrant
        outputParameters:
        - type: object
          mapping: $.
    - path: /v1/applications/{client-id}/grant
      name: applications-client-id-grant
      description: REST surface for applications-client_id-grant.
      operations:
      - method: DELETE
        name: deleteanappauthorization
        description: GitHub Delete an App Authorization
        call: app-delete.deleteanappauthorization
        with:
          body: rest.body
        outputParameters:
        - type: object
          mapping: $.
    - path: /v1/applications/{client-id}/token
      name: applications-client-id-token
      description: REST surface for applications-client_id-token.
      operations:
      - method: DELETE
        name: deleteanapptoken
        description: GitHub Delete an App Token
        call: app-delete.deleteanapptoken
        with:
          body: rest.body
        outputParameters:
        - type: object
          mapping: $.
  - type: mcp
    namespace: app-delete-mcp
    port: 9090
    transport: http
    description: MCP adapter for GitHub Application API — Delete. One tool per consumed operation, routed inline through this
      capability's consumes block.
    tools:
    - name: github-delete-installation-authenticated-app
      description: GitHub Delete an Installation for the Authenticated App
      hints:
        readOnly: false
        destructive: true
        idempotent: true
      call: app-delete.deleteaninstallationfortheauthenticatedapp
      outputParameters:
      - type: object
        mapping: $.
    - name: github-deletegrant
      description: GitHub Deletegrant
      hints:
        readOnly: false
        destructive: true
        idempotent: true
      call: app-delete.deletegrant
      outputParameters:
      - type: object
        mapping: $.
    - name: github-delete-app-authorization
      description: GitHub Delete an App Authorization
      hints:
        readOnly: false
        destructive: true
        idempotent: true
      call: app-delete.deleteanappauthorization
      with:
        body: tools.body
      outputParameters:
      - type: object
        mapping: $.
    - name: github-delete-app-token
      description: GitHub Delete an App Token
      hints:
        readOnly: false
        destructive: true
        idempotent: true
      call: app-delete.deleteanapptoken
      with:
        body: tools.body
      outputParameters:
      - type: object
        mapping: $.