Playground

A personal repository for experimental code and quick learning projects.

Contents

• 001-lean-hello-world/ - Lean 4 hello world project
• 002-magent/ - OpenCode AI coding agent (Emacs Lisp)

License

This repository is licensed under the GNU General Public License v3.0 - see the LICENSE file for details.