Update Komet description in ecosystem.md, security.md

[palinatolmach]

This PR updates the description of Runtime Verification's Komet fuzzing and formal verification tool in ecosystem.md and security.md, adding links to the documentation, repository, past verification reports, and details about Komet's features.

[Copilot]

Pull request overview

This PR enhances the documentation for Runtime Verification's Komet tool in both security and ecosystem documentation files. The update transforms a basic one-line description with a blog link into a comprehensive multi-point reference that includes documentation, repository links, technical specifications, and verification reports.

Changes:

• Added detailed technical specifications for Komet including spec language, operation level, and features
• Included links to documentation, repository, and past verification reports
• Restructured the Komet section to follow the same detailed format as other formal verification tools

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.

File	Description
skill/security.md	Expanded Komet entry with docs, repo, spec language, operating level, features, reports, and example links
skill/ecosystem.md	Enhanced Komet entry with similar detailed information as security.md

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.