3 tools across 3 categories tagged with “human-in-the-loop”
Autonomous AI coding agent in VS Code — 59K+ stars
React/Angular frontend SDK for AI agents with generative UI — 29K+ stars
Human-in-the-loop AI system for interactive mathematical theorem proving and formalization
