Post

Came out of a 2 year long hackathon retirement to win 🏆 GRAND PRIZE at TreeHacks 2026 !!! In 36 hours, we: - Manufactured, designed, and built an entire 4-armed surgery robot (+ a 6am trip to Home Depot). - Wrote our own inverse kinematics control system.

- Designed a custom algorithm to convert LIDAR data into 3d coordinates. - Built a multi-LLM robotic agent using OpenAI's GPT-5.2 and Google DeepMind's Gemini Robotics-ER 1.5. - Mapped real-time orientation data from a Meta Quest 3 onto a physical moving camera arm.

- Created Nix flakes for reproducible builds on both our production and development environments. - Used dependent type theory in Lean to prove that trajectories are within safe physical bounds.