Menú
Set up internbot for development. Use when setting up the project for the first time.
Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.
View, add, update, or cancel scheduled tasks. Use when asked about schedules, cron jobs, reminders, or recurring tasks.
Review today's HuggingFace daily papers, pick the most relevant one, write a LaTeX summary report with follow-up research directions. Use when asked to check daily papers, do a paper review, or triggered by the scheduler.
Write LaTeX research reports. Use when asked to write, compile, or publish a report and save it to the dedicated reports repository.
Add a Slack channel to internbot's whitelist. Use when the user wants the bot to listen to a new channel.
Search and summarize arxiv papers. Use when asked about papers, research topics, or specific arxiv IDs.
Explain and review code. Use when code is shared in conversation or a review is requested.
Basado en la clasificación ocupacional SOC
| name | onboard |
| description | Set up internbot for development. Use when setting up the project for the first time. |
connections:write scope → save as SLACK_APP_TOKENapp_mentions:readchannels:historychannels:readchat:writegroups:historygroups:readim:historyim:readim:writempim:historympim:readusers:readreactions:writemessage.channelsmessage.groupsmessage.immessage.mpimapp_mentionSLACK_BOT_TOKENcp .env.example .env
# Edit .env with your tokens:
# SLACK_BOT_TOKEN=xoxb-...
# SLACK_APP_TOKEN=xapp-...
The bot publishes LaTeX reports to a separate GitHub repo. Set it up as a subdirectory:
mkdir reports-repo && cd reports-repo
git init
mkdir reports
echo '[]' > papers-log.json
git add . && git commit -m "init reports repo"
Create a GitHub repo for reports, then configure the remote with a dedicated account (optional):
git remote add origin https://<github-user>@github.com/<github-user>/<repo-name>.git
git config user.name "<bot-name>"
git config user.email "<github-user>@users.noreply.github.com"
git push -u origin main
If using a dedicated GitHub account, store its PAT locally:
echo "https://<github-user>:<PAT>@github.com" > .git/credentials
git config credential.helper 'store --file=.git/credentials'
npm install
npm run dev # Development with hot reload
npm run build # Compile TypeScript
npm start # Run compiled version