#

lean-agent

Here is 1 public repository matching this topic...

fischerf / aar

AAR - coding agent with CLI, TUI, WEB, ACP and more

agent cli web mcp tui linux-shell openai lean acp claude coding-assistant ollama antrophic coding-agent lean-agent

Updated May 19, 2026
Python

Improve this page

Add a description, image, and links to the lean-agent topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lean-agent topic, visit your repo's landing page and select "manage topics."