AgentDish directory
terminal app
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#321
↓ -3
MathCode
MathCode is a terminal AI coding agent for mathematical formalization: it turns plain-language math problems into Lean 4 theorems and attempts formal proofs, with a persistent Lean REPL and supporting theorem/axiom libraries. |
Developer Tools / AI Coding Assistants | 88 | ↓ -3 | 82 days ago | Details |
#1097
↓ -6
bise
Open-source terminal app for multi-agent coding that lets one lead agent coordinate a team, manage worktrees, and keep the user in one thread. |
Developer Tools / Code Assistant | 84 | ↓ -6 | 36 days ago | Details |