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

research | CodeThreat AI Hub

research

jeffrey-dot-li/lean-homology/research

github.com

Find whether a theorem/concept exists in Mathlib and locate building blocks for a new theorem.

Metadata

Repository

https://github.com/jeffrey-dot-li/lean-homology

SKILL.md

Documentation available

First Seen

Feb 11, 2026

Last Seen

Mar 1, 2026

Last Updated

Mar 1, 2026

Risk Score

0

out of 100

Popularity

0

Stars

0

Forks

Feb 10, 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.