Open-source code agent designed for Lean 4
Coding-focused Kimi model for long-horizon agent workflows
An advanced home automation system which exchanges only devices states
Open code agent for Lean 4 proofs and formal software verification
Open code agent for Lean 4 proofs and formal software verification