moritz pushed to main at moritz/mop-skills

moritz
Sun, 22 Feb 2026 20:15:02 +0000

33087fb37181a1e803ba4f42122ae4503a2ea5c8 docs: update AGENTS.md to include rvv-regensburg skill