بنقرة واحدة
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