{"id":"github.com/wanshuiyin/Auto-claude-code-research-in-sleep/skills/skills-codex/lean-formalize","updated":"2026-10-19T12:00:00.000Z","scan":{"verdict":"clear","fingerprint":"sha256:462e896dc108e909c073d6ce567508a282fcec376ac0b5ea524fc2082aa44efb","rules_version":"2026-10-19.3","scanned":"2026-10-19T12:00:00.000Z","source_url":"https://raw.githubusercontent.com/wanshuiyin/Auto-claude-code-research-in-sleep/43a5daf6f8a2db7b87b48cb51d45c6ddb3c9a6d3/skills/skills-codex/lean-formalize/SKILL.md","findings":[],"page_url":"https://theagentforge.io/scan/462e896dc108e909c073d6ce567508a282fcec376ac0b5ea524fc2082aa44efb"},"field_reports":null,"earlier_scans":[]}