v0.4.2 Release Notes

Fixed

• New tools modal style: "New tools detected" dialog now uses consistent header/footer structure (modal-header + modal-footer) matching all other modals, fixing missing padding and border separators (#46).
• Git skill name derivation: Installing a Git skill from a repo root (subpath ".") now correctly derives the name from the repository URL instead of using "." as the display name.