AGA-mcp-server

Instructions

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),
  );