This is a custom made cloud computer built for your agents and there is a simplified interface to see and switch between them. It reports when agent window is idle and there is a built in mechanism that can continue running autonomously for long time if you have repeating tasks or tasks that need a lot of breaking down.
try here: oyren.ai
Is Replit the first product you have tried? Would you try different tools for what you do with Replit to save cost or time?
I have just finished watching Grant's podcast episode in Numberphile channel and I find most of what he said agreeable. Before the episode, I had a lot of questions but after watching I had even more questions and it's thanks to content and accessibility of the content. I would definitely recommend you to spend an hour of your time.
However, I have some comments for few things he mentioned and here I would like to make it more a discussion.. Firstly, it makes sense to think future's mathematicians as explainers, as he says. Obviously, AI can spit out anything and what we need is still someone who goes over the code and at least confirm what is done and explain to rest of the world. The scrutiny on what's produced is always there, which will be enforced by some humans with proper training. What I would add to this future is also mathematicians as software engineers.
For the background I have extensive software engineering background and currently doing PhD in formal verification, which is where programming language theory and mathematics intersects. There are a lot of interesting questions to ask here and all require answers with rigour. People who work in this intersection not only need to understand mathematics because they will need to translate software specifications to mathematical language also will need to implement the tools that inputs program and spec and answers good or bad. In the future, where we have lots of AI generated apps, we need something like mathematics to verify the program is correct. Software verification has always been crucial and unavoidable in certain industries where software is used. It will just be a field where more people will go.
I am thinking that in the future, mathematicians, can continue to explore the limits of AI generated maths as well. Maybe it's in isolated island with no bridge to the rest of mathematics.
I am building no-code app development tool where you bring your API key, instead of paying extra to what replit, loveable etc sell you for AI capabilities. I can control it from my phone, and currently it’s running Antigravity, Deepseek, Claude Code and Codex agents. You can use Qwen and Cursor or any other account as well on top of these.
More info: https://oyren.ai/development
Mobile demo:

I have recently spent a lot of time to customise tmux for my app so users can vibecode from their phone. Let me know what could be added to make it better
I have built a tool that spins up remote codespaces with remote agents. It supports Opencode, Qwen, Gemini, Cursor, Claude Code and Codex.
Thanks to opencode support I can run DeepSeek v4 Flash for free for simple tasks like security check.
I have come across Zed this Monday and immediately I loved its simplicity and speed, but unfortunately unlike VSCode, it cannot be run as web app. So I built a solution that runs Zed in cloud and streams it to user's browser. Due to streaming it has a very small delay in feedback, meanwhile my platform also allows running VSCode web app, which is more smooth as it's web native.
Would you find such tool useful and what would be your usecase?
Hey everyone! Wanted to share something I built that's been genuinely helpful for my own ADHD brain when jumping between coding projects.
Oyren gives you a fresh, isolated server environment for each coding task. You just launch a container against your repo and start working, either in a terminal or with a coding agent doing the work while you steer.
Since each task gets its own clean environment, you can also just abandon one and start fresh without any cleanup guilt, which has been a nice antidote to the "now I have to fix this before I can start that" trap.
You can use it with Claude Code, Codex, Opencode and Cursor and bring your subscription accounts to avoid paying extra for AI.
Still building this out, happy to answer questions if anyone wants to try it.
Link - [oyren.ai](http://oyren.ai)
Hey everyone! I've been working on a note editor called Oyren, and wanted to share a couple of features that might be useful for anyone who takes a lot of math notes.
First, you can write a calculation right in your notes and it solves inline, no separate calculator or notebook needed. Modular arithmetic, matrix multiplication, polynomial expansion, determinants, that kind of thing. Screenshot attached shows a few examples.
Second, we have a PDF to Markdown + LaTeX converter. Drop in a math PDF (textbook chapter, problem set, lecture notes) and it turns into a clean, editable, Notion-like note, with the LaTeX preserved and rendering properly. You can then read and edit it right from your phone.
Still actively building this, so would genuinely love feedback from people who live in math notation every day. Happy to answer questions!
I am building oyren.ai which allows you to develop agents by giving you knowledge management, tool selection from scratch. You can also use different harnesses from Claude Code, Opencode, Cursor and Codex to run coding agents.
Hi all. I am working on an app that I believe would be useful for a lot of students doing A-levels. I am doing my PhD in a mathematical area and I would have appreciated this a lot as a student myself.
It's completely free, forever. Until 100MB you dont need to pay anything and you can even add your books, notes as PDF and connect it to Claude for asking your questions via MCP.
LINK: oyren.ai
To keep things short, I wanted to build something that allows me running AI agents in the cloud servers, but with access to my Github repos and PDFs and can use my subscription account for Claude Code.
I have recently added Opencode on top of Claude Code and Codex offerings, and it allows you to launch AI agents to complete small coding tasks and create PRs. I usually consolidate all PRs at the end of the day locally, during which time I also do testing.
You can try it at oyren.ai, but let me know if you have any question with signup, API key registration etc.
Relying on AI for code changes, or running agents on your personal device, exposes you to data loss, prompt injection, and untested software bugs. Running agents on virtual servers instead is a safer approach.
To try this out, I used Kimi K3 with Opencode in the cloud and asked it to introduce itself in a blog post. It wrote the whole thing on its own: https://oyren.ai/blog/kimi-k3-opencode-intro
I've been building this setup at oyren.ai, which lets you run Claude Code, Codex, and Opencode in the cloud with access to your repos.
