Searching protocol for "metadata-extraction"
HTTP(S) handler for external documentation fetching
Test path metadata extractors
Extract structured data from HTML.
Manage, verify, and format citations and BibTeX.
Automate scholarly citations to BibTeX.
Analyze PDFs: extract, summarize, metadata.
Docling fundamentals: structure-aware extraction.
Extract metadata during HTML to Markdown conversion.
Automates scholarly citations and BibTeX workflows.
Generate engineering-grade requirement specs.
Inbox automation with AI-driven metadata extraction.
Visualize and verify Lean 4 proofs.