multiplayer is here
ps did you know grok bot can make and manage projects for you? just ask it to!
Your agents can now coordinate with your teammates’ agents.
Projects has been rebuilt for multiplayer: every teammate and their agents can now work together in one unified workspace.
Show more
Your agents can now coordinate with your teammates’ agents.
Projects has been rebuilt for multiplayer: every teammate and their agents can now work together in one unified workspace.
Show more
Grok Bot can now join your personal or company tailnets on Tailscale.
Use it to securely reach private MCP servers, internal tools, and apps on your network.
it's quite a good model, give it a try!
Gemini 4 Carbon is now available in Cursor!
At high effort, it's the top model on CursorBench at 60.4%
im extremely impressed how much SaaS you can actually replace with just grok bot or claude code
every company that just resells pure code to customers is in big trouble
I want to share a preview of something I've been working on called Exact. It's a new Agent Native app framework written in Rust. It's extremely fast and tries to let you build exactly the experience you want with no compromises.
Show more
@bot can now connect to private MCP servers on your tailnet without exposing them to the public internet.
Powered by Tailscale OAuth apps, now GA, so you can build secure agent integrations, too.
Read more here:
Show more
Claude Fable 5.2 is now available in Cursor!
At max effort, it's the top model on CursorBench at 60%.
Fable 5.2 scores 56.9% on CursorBench at default effort, up from 49.2% for Fable 5.1.
Show more
reset rolling out!
We've reset weekly limits for all Grok Bot users.
Enjoy!
We've reset weekly limits for all Grok Bot users.
Enjoy!
excited to be speaking at @aiDotEngineer this wednesday at 10:10am PT!
i will be talking about how the grok @bot team shipped 11,000 PRs last month without compromising on code quality
hope to see you there:
Show more
First AIE Code Summit speakers:
@poteto, Principal Engineer @ SpaceX
@steve_yegge, Engineer, Writer, Advisor
@zachbruggeman, Principal Software Engineer @ Ramp
Nov 10-12, SF. Come hang out with us. Apply at
Show more
we are entering a renaissance in programming language and runtime research, and a golden age of software testing and verification
it’s time to rewrite all software
We hear all your feedback, especially on usage limits and model routing and will be improving things overnight. Over the coming weeks many improvements to the harness and routines will further enable you to get much more out of each subscription. @bot team is dedicated to bringing you the very best product in a way that is also sustainable - it’s on us to make that possible
Show more
Just did a round table review with the Grok @Bot engineering team.
Fixes are being implemented overnight and you should notice a dramatic improvement by tomorrow. If not, reply to this post and we will address any remaining issues right away.
Show more
try this next “use /create-formal-verification-skill to model these state machines, one skill per subsystem. and use /statechart to visualize my most important user flows”
both skills are in pstack
Show more
good prompt "find all of the implicit state machines in my app"
Improvements to token efficiency & behavior in Grok Bot are underway
Many of you have built important workflows on @bot - we want to keep supporting you
Please reply with feedback on this post. I will read it all
Thank you sincerely for your support
Show more
Grok Bot fixes for improved token efficiency and smarter behavior are underway
hot take: you don't need a software factory, and i don't love the term. it's just marketing
all you need is good software engineering and investing your tokens in the right places. the more deterministic the better (and token efficient)
Show more
@poteto A mix of the techniques shown here, in short.
This has been my dream for nearly a decade now, and with agents I’m finally able to see this (partially) come true.
But turns out this is what I necessarily require to trust agent generated code. It’s not optional anymore, imo.
Show more
Seems like the T3 Code x Grok Bot combo is breaking a lot of brains
