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

fill-sorry | CodeThreat AI Hub

fill-sorry

jeffrey-dot-li/lean-homology/fill-sorry

skillsmp.com

Prove a specific sorry'd lemma iteratively using Lean LSP tools.

Metadata

Author

jeffrey-dot-li

Repository

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

Homepage

https://skillsmp.com/skills/jeffrey-dot-li-lean-homology-claude-skills-fill-sorry-skill-md

SKILL.md

Documentation available

First Seen

Feb 13, 2026

Last Seen

Feb 13, 2026

Last Updated

Feb 13, 2026

Risk Score

0

out of 100

Popularity

0

Stars

0

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.