microsoft / intelligent-terminal

A fork of Windows Terminal with native agent integration, right in your command line.

lean-dojo / LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

kevinpbuckley / VibeUE

Unreal Engine Vibe Coding tool