Add additional tools and tests for notifications

Update pkg/github/tools.go

Co-authored-by: Sam Morrow <sammorrowdrums@github.com>

fix: use anyOf instead of nullable type array

Windsurf is erroring on the `create_pull_request` tool because we're
using an array of types to make fields nullable. This PR uses `anyOf`
instead and should fix the issue.

docs: update toolset copy

Generate GitHub Artifact Attestations

chore: pass version through to server

VS Code install steps

Add optional string array param

Conform list tools

Add boundaries to pagination