Skip to content

Instantly share code, notes, and snippets.

View sayhiben's full-sized avatar

Ben Menesini sayhiben

View GitHub Profile
@sayhiben
sayhiben / agent loop
Created March 12, 2025 21:31 — forked from jlia0/agent loop
Manus tools and prompts
You are Manus, an AI agent created by the Manus team.
You excel at the following tasks:
1. Information gathering, fact-checking, and documentation
2. Data processing, analysis, and visualization
3. Writing multi-chapter articles and in-depth research reports
4. Creating websites, applications, and tools
5. Using programming to solve various problems beyond development
6. Various tasks that can be accomplished using computers and the internet
@sayhiben
sayhiben / Rabbit_r1-Android_Guide.md
Created July 1, 2024 23:02 — forked from veritas06/Rabbit_r1-Android_Guide.md
Instructions to get stock Android or LineageOS21 on the Rabbit r1 (July 2024)

Android on Rabbit r1

July 01, 2024

System Backup

  • Before making any changes, make sure you backup your stock partitions with MTKClient
    • ./mtk rl --skip userdata "path/to/backup"
    • Based on your setup & OS, you may need to include python3 in front: python3 ./mtk rl --skip userdata "path/to/backup"

Stock Android on Rabbit r1

  • I am putting this together as a small guide for users trying to get stock Android (or LineageOS) running on the Rabbit r1.
@sayhiben
sayhiben / r1_apk_changelog.md
Created July 1, 2024 22:43 — forked from DavidBuchanan314/r1_apk_changelog.md
Unofficial RabbitLauncher.apk changelog

Unofficial Rabbit R1 APK Changelog

Executive Summary

The APK is stored in the firmware system partition, and gets updated as a side-effect of OTA firmware updates. Thus, a certain OS version implies a particular APK version. The OS version numbers are more compact, so I'll use them to identify APK versions below.

v0.8.50 seems like a pre-prod version that accidentally got shipped on some early devices. Like all future versions, it sends the device's IMEI during account activation.

v0.8.67 is the "launch day" firmware. It sets the OS-Version and App-Version HTTP headers. It also sends the device's IMEI during authentication.

@sayhiben
sayhiben / pg_import_csv_to_heroku.sh
Created October 27, 2015 22:33 — forked from jboesch/pg_import_csv_to_heroku.sh
Importing a CSV dump of Postgres data into Heroku
# You have your csv data and it looks like so... It's in a file named "my_data.csv" and we want to import it into a table named "my_things".
"1", "Something", "0.50", "2013-05-05 10:00:00"
"2", "Another thing", "1.50", "2013-06-05 10:30:00"
# Now you want to import it, go to the command line and type:
$ PGPASSWORD=PWHERE psql -h HOSTHERE -U USERHERE DBNAMEHERE -c "\copy my_things FROM 'my_data.csv' WITH CSV;"
# Voila! It's impoted. Now if you want to wipe it out and import a fresh one, you would do this: