一键导入
onboard
Set up internbot for development. Use when setting up the project for the first time.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
Set up internbot for development. Use when setting up the project for the first time.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
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.
| 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