Your team's connections
Copy as MarkdownHow a leader adds the team's own apps to Theorem, checks that one answers, and chooses who gets it.
A team can connect apps of its own, such as an attendance system or an ERP. Each one is a server your team runs, which its people's assistants can use. The people it is for find it in their assistant's list of connections, with no second sign-in.
The Connections tab is for the team's leaders only. Building an app is described in Apps for your team.
Adding an app
- On Connections, press New connection.
- Give it a Name, as people will see it in their list.
- Give its Address: where the app's MCP server answers, starting with
https://. - Under For, choose Everyone, or Chosen roles and tick the roles.
- Press Save.
The dialog then shows the app's App ID, with Copy. Give it to whoever runs the app: the app uses it to accept only what Theorem made for it. It is not a secret.
| Rule | Limit |
|---|---|
| Apps in a team | 25 |
| A name | 1 to 40 characters, as a team's name, and unique in the team |
| An address | https:// and a host name with a dot, no user name, password or # part, 300 characters at most |
The check
Each time you save, and each time you open an app, Theorem checks it: it connects as you and lists the app's tools. You see Checking…, then either:
- Connected. and the tools found, each marked asks first or runs freely: whether the assistant asks people before it uses that tool; or
- what went wrong, in plain words, with Check again. The list of apps then says Not answering beside it while you stay on the page.
What each problem means, and what to do, is in Problems and what to do. One person can check 10 times a minute.
Who gets an app
- Everyone: every member of the team, leaders too.
- Chosen roles: whoever holds any of the ticked roles. A leader gets it only by holding one of them, like anyone else. A leader can still check it.
Who gets it is worked out each time a person writes to the assistant. A person who joins a role has the app from their next message. One who leaves the team or the role no longer gets it from their next message, and no new token is made for them: the last one they were sent ends within five minutes.
If every role an app was for is deleted, the app is for No one until you change it.
Editing and deleting
Open an app from its row, or choose Edit in its menu, to change its name, address or who it is for. Delete in the menu asks first, and says how many people stop getting it. Your app's own server is not changed.