Explore code editor

Coding changes to Native Note, delegated through a Grokbot dev bot

"One thing that's really cool about Grokbot is they're making the Cursor integration much more seamless. So if you go up here and click on your Native Note dev, you can actually see this little coding tab in the details. And if you click on this, it actually..."

Riley Brown

Prototyping design variations in code; editing internal tools; writing PRs from investigations via Nacho

"You can ask Cursor, hey, I have this brief text. Can you go put this in the notification that appears in the top right of the screen before a meeting, and can you also put it in the bottom of the screen, and in the floating transcription indicator? Do all t..."

Sam Stephenson

Development environment for Lean theorem proving

"this is how a simple lean code looks like like in VS code you have like an info goal view"

Robert George

Managing and configuring OpenClaw agent through SSH

"So, I use VS Code. I also have Codex open. I also have Claude Code open. I also have Devon open, right? So, VS Code is what I use to mess with R2."

Ryan Carson

Internal software development at Cognition

"We obviously use a ton of Devon internally, we use you know windsurf and the agents inside windsurf internally as well"

Scott Wu