GitHub Installation API — Repositories

naftiko: 1.0.0-alpha2
info:
  label: GitHub Installation API — Repositories
  description: 'GitHub Installation API — Repositories. 5 operations. Lead operation: GitHub List Repositories Accessible
    to the App Installation. Self-contained Naftiko capability covering one Github business surface.'
  tags:
  - Github
  - Repositories
  created: '2026-05-19'
  modified: '2026-05-19'
binds:
- namespace: env
  keys:
    GITHUB_API_KEY: GITHUB_API_KEY
capability:
  consumes:
  - type: http
    namespace: installation-repositories
    baseUri: ''
    description: GitHub Installation API — Repositories business capability. Self-contained, no shared references.
    resources:
    - name: installation-repositories
      path: /installation/repositories
      operations:
      - name: listrepositoriesaccessibletotheappinstallation
        method: GET
        description: GitHub List Repositories Accessible to the App Installation
        outputRawFormat: json
        outputParameters:
        - name: result
          type: object
          value: $.
    - name: repos-owner-repo-installation
      path: /repos/{owner}/{repo}/installation
      operations:
      - name: getrepositoryinstallationfortheauthenticatedapp
        method: GET
        description: GitHub Get Repository Installation for the Authenticated App
        outputRawFormat: json
        outputParameters:
        - name: result
          type: object
          value: $.
    - name: user-installations-installation_id-repositories
      path: /user/installations/{installation_id}/repositories
      operations:
      - name: listrepositoriesaccessibletotheuseraccesstoken
        method: GET
        description: GitHub List Repositories Accessible to the User Access Token
        outputRawFormat: json
        outputParameters:
        - name: result
          type: object
          value: $.
    - name: user-installations-installation_id-repositories-repository_id
      path: /user/installations/{installation_id}/repositories/{repository_id}
      operations:
      - name: addrepositorytoanappinstallation
        method: PUT
        description: GitHub Add Repository to an App Installation
        outputRawFormat: json
        outputParameters:
        - name: result
          type: object
          value: $.
      - name: removerepositoryfromanappinstallation
        method: DELETE
        description: GitHub Remove Repository from an App Installation
        outputRawFormat: json
        outputParameters:
        - name: result
          type: object
          value: $.
    authentication:
      type: bearer
      token: '{{env.GITHUB_API_KEY}}'
  exposes:
  - type: rest
    namespace: installation-repositories-rest
    port: 8080
    description: REST adapter for GitHub Installation API — Repositories. One Spectral-compliant resource per consumed operation,
      prefixed with /v1.
    resources:
    - path: /v1/installation/repositories
      name: installation-repositories
      description: REST surface for installation-repositories.
      operations:
      - method: GET
        name: listrepositoriesaccessibletotheappinstallation
        description: GitHub List Repositories Accessible to the App Installation
        call: installation-repositories.listrepositoriesaccessibletotheappinstallation
        outputParameters:
        - type: object
          mapping: $.
    - path: /v1/repos/{owner}/{repo}/installation
      name: repos-owner-repo-installation
      description: REST surface for repos-owner-repo-installation.
      operations:
      - method: GET
        name: getrepositoryinstallationfortheauthenticatedapp
        description: GitHub Get Repository Installation for the Authenticated App
        call: installation-repositories.getrepositoryinstallationfortheauthenticatedapp
        outputParameters:
        - type: object
          mapping: $.
    - path: /v1/user/installations/{installation-id}/repositories
      name: user-installations-installation-id-repositories
      description: REST surface for user-installations-installation_id-repositories.
      operations:
      - method: GET
        name: listrepositoriesaccessibletotheuseraccesstoken
        description: GitHub List Repositories Accessible to the User Access Token
        call: installation-repositories.listrepositoriesaccessibletotheuseraccesstoken
        outputParameters:
        - type: object
          mapping: $.
    - path: /v1/user/installations/{installation-id}/repositories/{repository-id}
      name: user-installations-installation-id-repositories-repository-id
      description: REST surface for user-installations-installation_id-repositories-repository_id.
      operations:
      - method: PUT
        name: addrepositorytoanappinstallation
        description: GitHub Add Repository to an App Installation
        call: installation-repositories.addrepositorytoanappinstallation
        outputParameters:
        - type: object
          mapping: $.
      - method: DELETE
        name: removerepositoryfromanappinstallation
        description: GitHub Remove Repository from an App Installation
        call: installation-repositories.removerepositoryfromanappinstallation
        outputParameters:
        - type: object
          mapping: $.
  - type: mcp
    namespace: installation-repositories-mcp
    port: 9090
    transport: http
    description: MCP adapter for GitHub Installation API — Repositories. One tool per consumed operation, routed inline through
      this capability's consumes block.
    tools:
    - name: github-list-repositories-accessible-app
      description: GitHub List Repositories Accessible to the App Installation
      hints:
        readOnly: true
        destructive: false
        idempotent: true
      call: installation-repositories.listrepositoriesaccessibletotheappinstallation
      outputParameters:
      - type: object
        mapping: $.
    - name: github-get-repository-installation-authenticated
      description: GitHub Get Repository Installation for the Authenticated App
      hints:
        readOnly: true
        destructive: false
        idempotent: true
      call: installation-repositories.getrepositoryinstallationfortheauthenticatedapp
      outputParameters:
      - type: object
        mapping: $.
    - name: github-list-repositories-accessible-user
      description: GitHub List Repositories Accessible to the User Access Token
      hints:
        readOnly: true
        destructive: false
        idempotent: true
      call: installation-repositories.listrepositoriesaccessibletotheuseraccesstoken
      outputParameters:
      - type: object
        mapping: $.
    - name: github-add-repository-app-installation
      description: GitHub Add Repository to an App Installation
      hints:
        readOnly: false
        destructive: false
        idempotent: true
      call: installation-repositories.addrepositorytoanappinstallation
      outputParameters:
      - type: object
        mapping: $.
    - name: github-remove-repository-app-installation
      description: GitHub Remove Repository from an App Installation
      hints:
        readOnly: false
        destructive: true
        idempotent: true
      call: installation-repositories.removerepositoryfromanappinstallation
      outputParameters:
      - type: object
        mapping: $.