moritz pushed to main at moritz/mop-skills

moritz
2026-02-22T20:15:02Z

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