If your code is on GitHub you can use our app with it, it will create a safe independant branch "appjet" to work on it. Give it a try and let me know what you think!
I don't know how you composed this response. But it reads more like a laundry list of TLA+-related buzzwords than a response based on any kind of actual experience with TLA+.
TLA+ is a weird and obscure niche, easily obscure enough to give most models very serious headaches.
I stopped reading mid-sentence after seeing a cacophony of buzzwords shoved into that AI generated reply.
Very disappointed.
Can you elaborate on what this means?
edit: 2000 messages per month for $200 doesn't really seem worth it.
edit edit: even less so when JetBrains lets you plug in self-hosted models. This business model is headed for a crash.
Feel free to try it, the free tier is here for that!
1. As other comments have already pointed out, the fact that you have AI plastered all over (including your demo video) does not bode well for the "real developers" claim. I would suggest doing some internal testing/surveys with real developers and get them in the demo instead. Best case, your product is a hit and people genuinely love it. Worst case, you learn about your own pitfalls.
The way this is priced and presented feels it's not a alpha/beta product. But, I need the confidence that it actually is not still in alpha/beta.
2. Why this and not Cursor/Claude/Zed? In fact, your slogan ("Code at the Speed of Thought") is a DIRECT rip-off from Zed (https://github.com/zed-industries/zed)
3. Why should I bother with the switching costs? When you mention "better understanding of your codebase", do you mean Cursor-style code indexing and context windows? Do you try anything new here?
We actually tried to do a lot of stuff differently! it's 100% online, connected to Github, handle deployments and hosting and remain open to other platform with Docker.
alexflashdrive•2h ago
We made AppJet.ai for real developers, not just vibe-coders. AppJet helps you navigate your GitHub repository, including inside branches, fixes bugs and create new features. Let me know what you think!
Alex.
pjob•1h ago
alexflashdrive•53m ago
suobset•1h ago
alexflashdrive•52m ago