Loading page
Adds replayable natural-language steps and backend failure checks to web and mobile UI tests.
Open-source CAD for drawing 2D plans with familiar commands and automating work with AI agents
A local agent that monitors slow PostgreSQL and MySQL queries and suggests which fixes to make first.
An open-source tool for hosting sites and documents made by AI agents on your own computer.
An open-source framework for creating and running reinforcement learning environments for AI training.
A kernel protection tool that allows only approved executables to access Linux TPM devices
An audio editor for multitrack recording and editing that can also delegate work to AI agents.
A command runner that cleans up child processes even after a command times out
A CLI that renders JSON editing instructions and HTML and CSS graphics into video.
A tool that keeps complete logs while showing concise Nix build output
A read-only CLI that checks source files against project rules by meaning
A tool for finding and switching between terminal multiplexer sessions on multiple computers from one screen.
A multi-PTY desktop app that lets AI agents directly control a terminal workspace
An autonomous theorem proving tool that connects language model proof search with Lean 4 verification.
A terminal AI coding agent for Android Termux and desktop systems
