alexflashdrive

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.

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!

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.

yeah man, we're an AI company, we're using AI! is that so shocking?

Yeah, mobile devices are not easy since there is so much to display for the app to be usable.

Well, I don't have any idea what's TLA+ is so I just asked the agent and that's it's response yep

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!

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.

Hi,

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.