feat(infotree): add extract_data processing and tests#54

desaxce wants to merge 1 commit into

mainproject-numina/kimina-lean-server:mainfrom

marco/infotreeproject-numina/kimina-lean-server:marco/infotreeCopy head branch name to clipboard