Portal groups related workspaces together and exposes the agents and skills
available to them. Create workspaces under a portal with
portal.workspaces.new(...) or portal.workspaces.get_or_create(...), and list
them with portal.workspaces.list().
Lifecycle
new
fetch
list
See
PortalList.update
delete
Agents & skills
agents
[]).
agent
name is None.
Parameters
skills
[]).
