Added support for exporting agent definitions

[burgaard]

No description provided.

[Copilot]

Pull request overview

Adds first-class support in the Go SDK (and OpenAPI spec) for exporting an agent definition as a portable JSON snapshot, including a new typed response model and a convenience client method.

Changes:

• Extend the OpenAPI spec with AgentExportResponse and GET /agents/{agent_id}/export.
• Regenerate the Go OpenAPI client to include the new schema/endpoint (and related spec-driven signature changes).
• Add a hand-written Client.ExportAgent(...) convenience wrapper and expose the new response type via types.go.

Reviewed changes

Copilot reviewed 4 out of 5 changed files in this pull request and generated 4 comments.

Show a summary per file

File	Description
types.go	Exposes AgentExportResponse as a top-level alias for SDK consumers.
openapi/seclai.openapi.json	Defines AgentExportResponse schema and the /agents/{agent_id}/export endpoint.
generated/seclai.gen.go	Regenerated client/models for the new export endpoint and schema.
client.go	Adds ExportAgent convenience method calling /agents/{id}/export.
.github/copilot-instructions.md	Adds additional quality gates and workflow rules for contributors/automation.