githubinferredactive
lean-comments
provenance:github:JonathanXDR/lean-comments
Agent Skill that keeps a source-code comment only when it carries information the code cannot
PUBLIC HISTORY
First discoveredSep 15, 2026
IDENTITY
inferred
Identity inferred from code signals. No PROVENANCE.yml found.
Is this yours? Claim it →METADATA
platformgithub
first seenSep 8, 2026
last updatedSep 14, 2026
last crawledtoday
version—
README BADGE
Add to your README:
