Added support for exporting agent definitions

[burgaard]

No description provided.

[Copilot]

Pull request overview

Adds SDK-level support for exporting agent definitions as a portable JSON snapshot, aligning TypeScript types and the generated OpenAPI surface with the new /agents/{agent_id}/export endpoint.

Changes:

• Introduces AgentExportResponse schema/type and re-exports it from the public SDK surface.
• Adds Seclai.exportAgent() convenience method to call GET /agents/{agent_id}/export with a download query param.
• Updates generated OpenAPI types/docs, including the new export endpoint and a new input field on step attempt responses.

Reviewed changes

Copilot reviewed 6 out of 6 changed files in this pull request and generated 3 comments.

Show a summary per file

File	Description
openapi/seclai.openapi.json	Adds AgentExportResponse schema and /agents/{agent_id}/export endpoint to the OpenAPI spec.
src/openapi.ts	Regenerated OpenAPI TypeScript types reflecting the spec updates and docstring changes.
src/types.ts	Adds AgentExportResponse alias mapped to OpenAPI components schema.
src/index.ts	Re-exports AgentExportResponse from the SDK entrypoint.
src/client.ts	Adds exportAgent() method that calls the new export endpoint.
.github/copilot-instructions.md	Updates internal contributor/assistant instructions and quality gate guidance.