AI Security HubUniverse Repo Risk

Index skillaudit.sh Try CodeThreat

AI Composition Analysis. Open security intelligence for the AI component ecosystem.

Browse

About MCP Servers Agent Skills

Developers

API Documentation CodeThreat AppSec

Standards

MITRE ATLAS OWASP Agentic Top 10

AI Component Security Index

By CodeThreat

ilverify-failure | CodeThreat AI Hub

ilverify-failure

dotnet/fsharp/ilverify-failure

skillsmp.com

Fix ILVerify baseline failures when IL shape changes (codegen, new types, method signatures). Use when CI fails on ILVerify job.

Metadata

Author

dotnet

Repository

https://github.com/dotnet/fsharp

Homepage

https://skillsmp.com/skills/dotnet-fsharp-github-skills-ilverify-failure-skill-md

SKILL.md

Documentation available

First Seen

Feb 13, 2026

Last Seen

Feb 24, 2026

Last Updated

Feb 24, 2026

Risk Score

0

out of 100

Popularity

4,253

Stars

849

Forks

Feb 12, 2026

Updated

Findings by Severity (Latest Scan)

1Info

CodeThreat AppSec

Scan your own AI components

Full SAST + SCA agentic security analysis for MCP servers and Skills.