Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/917Dhj/DeepPaperNote
/ extract_headers
Function
extract_headers
scripts/lint_note.py:298–299 ·
view source on GitHub ↗
(text: str)
Source
from the content-addressed store, hash-verified
296
297
298
def
extract_headers(text: str) -> list[str]:
299
return
[match.group(2).strip()
for
match in re.finditer(r
"^(#{1,3})\s+(.+)$"
, text, flags=re.MULTILINE)]
300
301
302
def
find_missing_sections(text: str) -> list[str]:
Callers
1
main
Function · 0.85
Calls
no outgoing calls
Tested by
no test coverage detected