company_holiday_list
The days this company is closed, earliest first. Use this to answer 'are we closed on the third of October' or to find the holiday another company_holiday tool is about to change. A holiday that recurs annually falls on the same date every year, so it is answered for whichever year is asked for. `read` · v1
Authorization
memberToken The tools internkim uses inside a company, callable from outside it. A token belongs to a person, and every call runs as that person, so a token can never do more than its owner can.
The first token is made signed in, from the settings screen. After that a token makes its own
successors: POST /token for a new one, DELETE /token for the old one, so a script rotates
without a browser. A token can neither mint a rung above its own nor revoke itself.
Send Authorization: Bearer <token> on every request.
In: header
Request Body
application/json
TypeScript Definitions
Use the request body type in TypeScript.
Response Body
application/json
text/plain
text/plain
text/plain
text/plain
text/plain
text/plain
text/plain
curl -X POST "https://example.com/tools/company_holiday_list/invoke" \ -H "Content-Type: application/json" \ -d '{ "input": {} }'{ "toolName": "company_holiday_list", "outcome": "succeeded", "selectedBackend": "device", "result": { "…": "the tool's own document" }}company_holiday_delete POST
Take a day off the company holiday list, so it counts as a working day again. Removing a holiday is an administrator's, and it changes what every colleague is expected to work, so put it to the requester before calling. `destructive` · approval · v1
company_holiday_update POST
Change the day, the name, or the yearly recurrence of a holiday the company already holds. Only the fields the call names change. Changing a holiday is an administrator's. `workspace_write` · v1