Farol

A Mac terminal where multiple programming agents run in parallel.

Farol

Introduction

In the afternoon, three Claude Code sessions and one Codex were opened simultaneously. Ten minutes later, you would no longer be able to remember which window was waiting for you to press the “y” key. Farol is precisely designed for such scenarios – it is a macOS terminal tailored for this kind of usage.

Press ⇧⌘N to describe the task and select a proxy. Farol will create a separate git worktree and new branch for each task, allowing multiple proxies to modify code simultaneously without interfering with each other’s files. When a session requires your attention, the corresponding icon turns yellow, and the system sends a notification; the number of pending tasks is also displayed on the Dock icon. Even when switching to another application, you can still check the status of each proxy through the menu bar or the panel at the top of the screen. Once the work is completed, you can view the differences, commit changes, and push them directly to GitHub or GitLab by initiating a pull request within the application itself.

At its core, it is built upon libghostty and will utilize your existing Ghostty configuration settings and themes. It can also be used with other terminal-based proxies, allowing you to monitor their status through command-line commands or terminal notifications. This solution is only compatible with Apple devices running macOS 14 or later versions. It is open-source under the MIT license and does not offer any paid versions.


Visits:14
Updated:2026-11-07
1
Zlibrary
Zlibrary is known as the world's largest digital library, containing 9,826,996 e-books and 84,837,646 journal articles. From various well-known literary works, science and engineering, humanities and arts, to academic papers, etc.! Support PDF, epu
2
LinkFox AI
AI tools designed for cross-border e-commerce
3
HeyGen
AI-generated digital human videos
4
DuiYou AI
Duiyou is a service platform developed by Alibaba Design to support designers throughout their entire career journey. It builds its capabilities around five key user values—quality, efficiency, skills, achievements, and income—to fully serve designers, with the goal of becoming their trusted partner. Refined through multiple rounds of development by design teams from leading tech companies, Duiyou combines a vast collection of high-quality 3D assets, real-time online rendering, diverse scenario-based applications, a lightweight, easy-to-learn, and user-friendly interface. It also comes with free, commercially usable features, providing professional designers, marketing specialists, students, beginners, and social media influencers with a zero-cost online design platform and resource library.
5
PixPix
Generation of AI-based e-commerce templates and videos
6
Riffusion
Generative AI musical instruments enable the creation, remixing, and sharing of high-quality songs based on textual prompts.
7
OptimizerAI
The AI sound effect generator is capable of generating an unlimited number of high-quality sounds based on text or audio input.
8
StockTune
StockTune provides AI-generated royalty-free music for content creators to use without attribution.
9
PDF Converter
Free online tool for converting and editing PDF files.
10
A Cost-Effective Guide to Living a Better Life: HowToLiveBetter
Which membership services on my phone are automatically deducting fees from my account? Is the password for my main email address the same as that used on other websites? In the rental contract, when exactly will the deposit be refunded? Each of these issues, taken separately, is not particularly complicated. However, without anyone reminding you, it’s very easy to make mistakes. Today, I’d like to share a GitHub repository with 60.5k stars…
1
Zlibrary
Zlibrary is known as the world's largest digital library, containing 9,826,996 e-books and 84,837,646 journal articles. From various well-known literary works, science and engineering, humanities and arts, to academic papers, etc.! Support PDF, epu
2
LinkFox AI
AI tools designed for cross-border e-commerce
3
HeyGen
AI-generated digital human videos
4
DuiYou AI
Duiyou is a service platform developed by Alibaba Design to support designers throughout their entire career journey. It builds its capabilities around five key user values—quality, efficiency, skills, achievements, and income—to fully serve designers, with the goal of becoming their trusted partner. Refined through multiple rounds of development by design teams from leading tech companies, Duiyou combines a vast collection of high-quality 3D assets, real-time online rendering, diverse scenario-based applications, a lightweight, easy-to-learn, and user-friendly interface. It also comes with free, commercially usable features, providing professional designers, marketing specialists, students, beginners, and social media influencers with a zero-cost online design platform and resource library.
5
PixPix
Generation of AI-based e-commerce templates and videos
6
Riffusion
Generative AI musical instruments enable the creation, remixing, and sharing of high-quality songs based on textual prompts.
7
OptimizerAI
The AI sound effect generator is capable of generating an unlimited number of high-quality sounds based on text or audio input.
8
StockTune
StockTune provides AI-generated royalty-free music for content creators to use without attribution.
9
PDF Converter
Free online tool for converting and editing PDF files.
10
A Cost-Effective Guide to Living a Better Life: HowToLiveBetter
Which membership services on my phone are automatically deducting fees from my account? Is the password for my main email address the same as that used on other websites? In the rental contract, when exactly will the deposit be refunded? Each of these issues, taken separately, is not particularly complicated. However, without anyone reminding you, it’s very easy to make mistakes. Today, I’d like to share a GitHub repository with 60.5k stars…