ensemble-prover
An autonomous theorem proving tool that connects language model proof search with Lean 4 verification.
OtherOpen source
Loading page
Loading page
An autonomous theorem proving tool that connects language model proof search with Lean 4 verification.
A tool that gives terminal coding agents current read only repositories and disposable workspaces
An experimental tool that simplifies C/C++ builds with Git-based dependency management and JSON configuration.
A terminal AI coding agent for Android Termux and desktop systems
A lightweight multiplexer for managing AI agents and shells across projects in workspace-based terminals
