aga_get_portal_state
Retrieve the current portal state, including loaded artifact information and enforcement status for policy verification.
Instructions
Get current portal state, loaded artifact info, and enforcement status.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Implementation Reference
- src/tools/get-portal-state.ts:3-16 (handler)The handler function that executes the logic for the aga_get_portal_state tool.
export async function handleGetPortalState(_args: Record<string, never>, ctx: ServerContext) { return ctx.json({ state: ctx.portal.state, artifact_loaded: !!ctx.portal.artifact, sealed_hash: ctx.portal.artifact?.sealed_hash ?? null, ttl_seconds: ctx.portal.artifact?.enforcement_parameters.ttl_seconds ?? null, issued_at: ctx.portal.artifact?.issued_timestamp ?? null, enforcement_triggers: ctx.portal.artifact?.enforcement_parameters.enforcement_triggers ?? [], sequence_counter: ctx.portal.sequenceCounter, quarantine_active: ctx.quarantine?.active ?? false, verification_tier: ctx.verificationTier, measurement_count: ctx.measurementCount, }); } - src/server.ts:167-171 (registration)The registration of the aga_get_portal_state tool in the MCP server setup.
server.tool('aga_get_portal_state', 'Get current portal state, loaded artifact info, and enforcement status.', {}, async () => handleGetPortalState({} as any, ctx), );