Thanks, that's helpful. It's not in alpha/beta but definitely a new product with flaws and stuff we could have done better.
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.
I meant in comparison to other frontend products that can't do anything about your back-end. $200 for 2000 messages may seems a lot but it includes every tool use (even if the agent uses 100K tokens editing your code it would count as a single message), web deployment with hosting and everything.
Feel free to try it, the free tier is here for that!
AppJet.ai can help you in several ways with TLA+:
Language fundamentals: Basic syntax, operators, temporal logic, actions, and specifications
Modeling techniques: How to represent system state, define actions, specify invariants and temporal properties
PlusCal: The higher-level algorithmic language that transpiles to TLA+ TLC model checker: Running specifications, interpreting results, debugging models Common patterns: Modeling mutual exclusion, consensus algorithms, message passing, etc.
Practical examples: From simple counters to complex distributed systems
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!
> Common patterns: Modeling mutual exclusion, consensus algorithms, message passing, etc. Practical examples: From simple counters to complex distributed systems
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.
There it is. Like their "AI" companions, the people using them are unable to conceive not knowing something, so they might as well invent anything that sounds plausible, unable to even learn a new concept.
Donning-Kruger as a service. I guess that's what defines the 'serious developers' from the rest of us.
AppJet is directly integrated with GitHub and has a better understanding of your codebase, with more full-stack functionalities. It also includes all the deployment of your code and a direct integration with Supabase that Claude or Jules doesn't have.
The agent itself is always limited by context inside a question but it also draw a map of your codebase and use it as additional data to better serve you.
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!
FYI, the layout for the navigation component is broken on many smaller screen sizes. It's a small issue that I wouldn't mention normally, but it does undercut your messaging about the "future of software development" and "serious developers" when the first element on the page doesn't render properly.
Sorry I have to explain. By putting text that you wrote into AI generated video format, you are showing a lack of care for my time. if you have text just put the text there, a professional will be convinced by facts, Not by some artificially generated images of a lady suck puppet. hard pass.
oh wow I though maybe I had been harsh and forced myself to watch the video to the end. it's even worse than I thought: basically the story is this young-woman developer person is meant to not be skilled enough to do her job, and will not "feel like a fraud anymore" by relying on appjet.ai to appear to have the ability that, really, she does not have. then she says it's her "secret". this is so bad on so many level: sexist, disingenuous, misguided, the worst kind of growth-hacking fake I've ever seen.
You're both actually 100% right, we kind of worked a lot on the product (developing a model + a platform was not an easy task) but not enough on the video. That's not an excuse but we'll make another one asap. That being said it has nothing to do with the value of the product and what we're trying to achieve here.
Qoddi.com launched a couple years ago as a credible alternative to Heroku. Our free plan is here to stay and our $6 starter plan offers twice the capabilities of Heroku's hobby tier.
Qoddi is compatible with Heroku buildpacks and Docker containers, making it super easy to migrate from Heroku and we don't charge for bandwidth.
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.