{"openapi":"3.1.0","info":{"title":"FastAPI","version":"0.1.0"},"paths":{"/ping":{"get":{"summary":"Ping","operationId":"ping_ping_get","responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{}}}}}}},"/":{"get":{"summary":"Root","operationId":"root__get","responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{}}}}}}},"/search":{"post":{"summary":"Search","operationId":"search_search_post","parameters":[{"name":"mcp","in":"query","required":false,"schema":{"type":"boolean","default":false,"title":"Mcp"}}],"requestBody":{"required":true,"content":{"application/json":{"schema":{"$ref":"#/components/schemas/SearchRequest"}}}},"responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{"$ref":"#/components/schemas/SearchResponse"}}}},"422":{"description":"Validation Error","content":{"application/json":{"schema":{"$ref":"#/components/schemas/HTTPValidationError"}}}}}}},"/mcp":{"get":{"summary":"Mcp","operationId":"mcp_mcp_get","responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{}}}}}},"post":{"summary":"Mcp","operationId":"mcp_mcp_get","responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{}}}}}}},"/graph/statement/{statement_id}":{"get":{"summary":"Graph Statement","operationId":"graph_statement_graph_statement__statement_id__get","parameters":[{"name":"statement_id","in":"path","required":true,"schema":{"type":"string","title":"Statement Id"}},{"name":"direction","in":"query","required":false,"schema":{"enum":["src","dep","both"],"type":"string","description":"src: traverse what this statement depends on. dep: traverse what depends on this statement. both: union of the two.","default":"src","title":"Direction"},"description":"src: traverse what this statement depends on. dep: traverse what depends on this statement. both: union of the two."},{"name":"formality","in":"query","required":false,"schema":{"enum":["informal","formal"],"type":"string","description":"Use informal_dependency or formal_dependency edges.","default":"informal","title":"Formality"},"description":"Use informal_dependency or formal_dependency edges."},{"name":"return","in":"query","required":false,"schema":{"anyOf":[{"type":"array","items":{"enum":["root","nodes","edges","representations"],"type":"string"}},{"type":"null"}],"description":"Which top-level keys to populate: root, nodes, edges, representations. Repeat for multiple. Default: root+nodes+edges (representations is opt-in since it hits the embedding index).","title":"Return"},"description":"Which top-level keys to populate: root, nodes, edges, representations. Repeat for multiple. Default: root+nodes+edges (representations is opt-in since it hits the embedding index)."},{"name":"n_representations","in":"query","required":false,"schema":{"type":"integer","maximum":100,"minimum":1,"description":"Max representations to return when 'representations' is requested.","default":10,"title":"N Representations"},"description":"Max representations to return when 'representations' is requested."},{"name":"representation_sources","in":"query","required":false,"schema":{"type":"array","items":{"type":"string"},"description":"Filter representations by paper.source (repeat for multiple), e.g. 'arXiv', 'Lean Community'. Omit to search across all sources. Representations are always from a different paper than the centered statement's regardless of this filter.","default":[],"title":"Representation Sources"},"description":"Filter representations by paper.source (repeat for multiple), e.g. 'arXiv', 'Lean Community'. Omit to search across all sources. Representations are always from a different paper than the centered statement's regardless of this filter."},{"name":"mode","in":"query","required":false,"schema":{"enum":["full","minimal"],"type":"string","description":"full: include node names/slogans, edge annotations, and full root details. minimal: return only IDs on nodes/edges and {statement_id, name} on root.","default":"full","title":"Mode"},"description":"full: include node names/slogans, edge annotations, and full root details. minimal: return only IDs on nodes/edges and {statement_id, name} on root."}],"responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{"$ref":"#/components/schemas/SubgraphResponse"}}}},"422":{"description":"Validation Error","content":{"application/json":{"schema":{"$ref":"#/components/schemas/HTTPValidationError"}}}}}}},"/graph/paper":{"get":{"summary":"Graph Paper By Source","operationId":"graph_paper_by_source_graph_paper_get","parameters":[{"name":"external_id","in":"query","required":true,"schema":{"type":"string","description":"paper.external_id","title":"External Id"},"description":"paper.external_id"},{"name":"sources","in":"query","required":false,"schema":{"type":"array","items":{"type":"string"},"description":"Filter by paper.source (repeat for multiple), e.g. 'arXiv', 'Lean Community'. If omitted, all sources are searched.","default":[],"title":"Sources"},"description":"Filter by paper.source (repeat for multiple), e.g. 'arXiv', 'Lean Community'. If omitted, all sources are searched."},{"name":"return","in":"query","required":false,"schema":{"anyOf":[{"type":"array","items":{"enum":["paper","statements","edges"],"type":"string"}},{"type":"null"}],"description":"Which top-level keys to populate: paper, statements, edges. Repeat for multiple. Default: all three.","title":"Return"},"description":"Which top-level keys to populate: paper, statements, edges. Repeat for multiple. Default: all three."},{"name":"mode","in":"query","required":false,"schema":{"enum":["full","minimal"],"type":"string","description":"full: include all metadata and source-specific fields. minimal: paper={paper_id,title}, statements=[{statement_id}], edges=[{src_id,dep_id,cite_id,cite_key}].","default":"full","title":"Mode"},"description":"full: include all metadata and source-specific fields. minimal: paper={paper_id,title}, statements=[{statement_id}], edges=[{src_id,dep_id,cite_id,cite_key}]."}],"responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{"$ref":"#/components/schemas/GraphPaperResponse"}}}},"422":{"description":"Validation Error","content":{"application/json":{"schema":{"$ref":"#/components/schemas/HTTPValidationError"}}}}}}},"/graph/paper/{paper_id}":{"get":{"summary":"Graph Paper","operationId":"graph_paper_graph_paper__paper_id__get","parameters":[{"name":"paper_id","in":"path","required":true,"schema":{"type":"string","title":"Paper Id"}},{"name":"return","in":"query","required":false,"schema":{"anyOf":[{"type":"array","items":{"enum":["paper","statements","edges"],"type":"string"}},{"type":"null"}],"description":"Which top-level keys to populate: paper, statements, edges. Repeat for multiple. Default: all three.","title":"Return"},"description":"Which top-level keys to populate: paper, statements, edges. Repeat for multiple. Default: all three."},{"name":"mode","in":"query","required":false,"schema":{"enum":["full","minimal"],"type":"string","description":"full: include all metadata and source-specific fields. minimal: paper={paper_id,title}, statements=[{statement_id}], edges=[{src_id,dep_id,cite_id,cite_key}].","default":"full","title":"Mode"},"description":"full: include all metadata and source-specific fields. minimal: paper={paper_id,title}, statements=[{statement_id}], edges=[{src_id,dep_id,cite_id,cite_key}]."}],"responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{"$ref":"#/components/schemas/GraphPaperResponse"}}}},"422":{"description":"Validation Error","content":{"application/json":{"schema":{"$ref":"#/components/schemas/HTTPValidationError"}}}}}}},"/graph/embedding":{"get":{"summary":"Graph Embedding","operationId":"graph_embedding_graph_embedding_get","parameters":[{"name":"query","in":"query","required":true,"schema":{"type":"string","minLength":1,"description":"Natural-language search query.","title":"Query"},"description":"Natural-language search query."},{"name":"n_results","in":"query","required":false,"schema":{"type":"integer","maximum":100,"minimum":1,"default":10,"title":"N Results"}},{"name":"formality","in":"query","required":false,"schema":{"enum":["informal","formal","both"],"type":"string","description":"Filter results by statement formality: 'informal', 'formal', or 'both' (default, no filter).","default":"both","title":"Formality"},"description":"Filter results by statement formality: 'informal', 'formal', or 'both' (default, no filter)."},{"name":"sources","in":"query","required":false,"schema":{"type":"array","items":{"type":"string"},"description":"Paper sources, e.g. 'arXiv'.","default":[],"title":"Sources"},"description":"Paper sources, e.g. 'arXiv'."},{"name":"types","in":"query","required":false,"schema":{"type":"array","items":{"type":"string"},"description":"Statement kinds, e.g. theorem, lemma.","default":[],"title":"Types"},"description":"Statement kinds, e.g. theorem, lemma."},{"name":"authors","in":"query","required":false,"schema":{"type":"array","items":{"type":"string"},"description":"Author substring filter.","default":[],"title":"Authors"},"description":"Author substring filter."},{"name":"min_citations","in":"query","required":false,"schema":{"type":"integer","minimum":0,"default":0,"title":"Min Citations"}},{"name":"citation_weight","in":"query","required":false,"schema":{"type":"number","minimum":0.0,"default":0.0,"title":"Citation Weight"}},{"name":"in_journal","in":"query","required":false,"schema":{"anyOf":[{"type":"boolean"},{"type":"null"}],"title":"In Journal"}},{"name":"mode","in":"query","required":false,"schema":{"enum":["full","minimal"],"type":"string","description":"full: include name, body, slogan, paper title/authors/url/source, citation_count. minimal: only statement_id, paper_id, similarity, score.","default":"full","title":"Mode"},"description":"full: include name, body, slogan, paper title/authors/url/source, citation_count. minimal: only statement_id, paper_id, similarity, score."}],"responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{"$ref":"#/components/schemas/EmbeddingSearchResponse"}}}},"422":{"description":"Validation Error","content":{"application/json":{"schema":{"$ref":"#/components/schemas/HTTPValidationError"}}}}}}},"/statement/{statement_id}":{"get":{"summary":"Get Statement","operationId":"get_statement_statement__statement_id__get","parameters":[{"name":"statement_id","in":"path","required":true,"schema":{"type":"string","title":"Statement Id"}}],"responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{"$ref":"#/components/schemas/StatementDetail"}}}},"422":{"description":"Validation Error","content":{"application/json":{"schema":{"$ref":"#/components/schemas/HTTPValidationError"}}}}}}},"/paper/{paper_id}":{"get":{"summary":"Get Paper","operationId":"get_paper_paper__paper_id__get","parameters":[{"name":"paper_id","in":"path","required":true,"schema":{"type":"string","title":"Paper Id"}}],"responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{"$ref":"#/components/schemas/PaperDetail"}}}},"422":{"description":"Validation Error","content":{"application/json":{"schema":{"$ref":"#/components/schemas/HTTPValidationError"}}}}}}},"/statements":{"post":{"summary":"Batch Statements","operationId":"batch_statements_statements_post","requestBody":{"content":{"application/json":{"schema":{"$ref":"#/components/schemas/IdsRequest"}}},"required":true},"responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{"items":{"$ref":"#/components/schemas/StatementDetail"},"type":"array","title":"Response Batch Statements Statements Post"}}}},"422":{"description":"Validation Error","content":{"application/json":{"schema":{"$ref":"#/components/schemas/HTTPValidationError"}}}}}}},"/papers":{"get":{"summary":"List Papers","operationId":"list_papers_papers_get","responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{}}}}}},"post":{"summary":"Batch Papers","operationId":"batch_papers_papers_post","requestBody":{"content":{"application/json":{"schema":{"$ref":"#/components/schemas/IdsRequest"}}},"required":true},"responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{"items":{"$ref":"#/components/schemas/PaperDetail"},"type":"array","title":"Response Batch Papers Papers Post"}}}},"422":{"description":"Validation Error","content":{"application/json":{"schema":{"$ref":"#/components/schemas/HTTPValidationError"}}}}}}},"/paper-search":{"get":{"summary":"Paper Search","description":"Autocomplete: search all papers by title or external_id.","operationId":"paper_search_paper_search_get","parameters":[{"name":"q","in":"query","required":false,"schema":{"type":"string","default":"","title":"Q"}},{"name":"limit","in":"query","required":false,"schema":{"type":"integer","default":8,"title":"Limit"}}],"responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{}}}},"422":{"description":"Validation Error","content":{"application/json":{"schema":{"$ref":"#/components/schemas/HTTPValidationError"}}}}}}},"/graph/pagerank":{"get":{"summary":"Graph Pagerank","operationId":"graph_pagerank_graph_pagerank_get","parameters":[{"name":"query","in":"query","required":true,"schema":{"type":"string","minLength":1,"description":"Natural-language search query.","title":"Query"},"description":"Natural-language search query."},{"name":"n_results","in":"query","required":false,"schema":{"type":"integer","maximum":100,"minimum":1,"description":"How many ranked results to return.","default":10,"title":"N Results"},"description":"How many ranked results to return."},{"name":"n_seeds","in":"query","required":false,"schema":{"type":"integer","maximum":500,"minimum":1,"description":"How many top embedding hits to use as PPR seeds. Larger = closer to dense retrieval; smaller = more graph-flavored.","default":50,"title":"N Seeds"},"description":"How many top embedding hits to use as PPR seeds. Larger = closer to dense retrieval; smaller = more graph-flavored."}],"responses":{"200":{"description":"Successful Response","content":{"application/json":{"schema":{"$ref":"#/components/schemas/PageRankResponse"}}}},"422":{"description":"Validation Error","content":{"application/json":{"schema":{"$ref":"#/components/schemas/HTTPValidationError"}}}}}}}},"components":{"schemas":{"DependencyEdge":{"properties":{"src_id":{"type":"string","title":"Src Id"},"dep_id":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Dep Id"},"cite_id":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Cite Id"},"cite_key":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Cite Key"},"dep_name":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Dep Name"},"dep_key":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Dep Key"},"location":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Location"},"methods":{"anyOf":[{"items":{"type":"string"},"type":"array"},{"type":"null"}],"title":"Methods"},"edge_type":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Edge Type"}},"type":"object","required":["src_id"],"title":"DependencyEdge"},"DependencyItem":{"properties":{"src_id":{"type":"string","title":"Src Id"},"dep_id":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Dep Id"},"cite_id":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Cite Id"},"cite_key":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Cite Key"},"dep_key":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Dep Key"},"dep_name":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Dep Name"},"location":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Location"},"methods":{"anyOf":[{"items":{"type":"string"},"type":"array"},{"type":"null"}],"title":"Methods"},"edge_type":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Edge Type"}},"type":"object","required":["src_id"],"title":"DependencyItem"},"EmbeddingSearchResponse":{"properties":{"results":{"items":{"$ref":"#/components/schemas/EmbeddingSearchResult"},"type":"array","title":"Results"}},"type":"object","required":["results"],"title":"EmbeddingSearchResponse"},"EmbeddingSearchResult":{"properties":{"statement_id":{"type":"string","title":"Statement Id"},"paper_id":{"type":"string","title":"Paper Id"},"name":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Name"},"body":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Body"},"slogan":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Slogan"},"source":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Source"},"title":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Title"},"authors":{"anyOf":[{"items":{"type":"string"},"type":"array"},{"type":"null"}],"title":"Authors"},"url":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Url"},"external_id":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"External Id"},"citation_count":{"anyOf":[{"type":"integer"},{"type":"null"}],"title":"Citation Count"},"similarity":{"type":"number","title":"Similarity"},"score":{"type":"number","title":"Score"}},"type":"object","required":["statement_id","paper_id","similarity","score"],"title":"EmbeddingSearchResult"},"GraphPaperResponse":{"properties":{"paper":{"anyOf":[{"$ref":"#/components/schemas/PaperItem"},{"type":"null"}]},"statements":{"anyOf":[{"items":{"$ref":"#/components/schemas/StatementItem"},"type":"array"},{"type":"null"}],"title":"Statements"},"edges":{"anyOf":[{"items":{"$ref":"#/components/schemas/DependencyItem"},"type":"array"},{"type":"null"}],"title":"Edges"}},"type":"object","title":"GraphPaperResponse"},"HTTPValidationError":{"properties":{"detail":{"items":{"$ref":"#/components/schemas/ValidationError"},"type":"array","title":"Detail"}},"type":"object","title":"HTTPValidationError"},"IdsRequest":{"properties":{"ids":{"items":{"type":"string"},"type":"array","title":"Ids"}},"type":"object","required":["ids"],"title":"IdsRequest"},"PageRankResponse":{"properties":{"results":{"items":{"$ref":"#/components/schemas/PageRankResult"},"type":"array","title":"Results"}},"type":"object","required":["results"],"title":"PageRankResponse"},"PageRankResult":{"properties":{"statement_id":{"type":"string","title":"Statement Id"},"score":{"type":"number","title":"Score"},"seed_similarity":{"anyOf":[{"type":"number"},{"type":"null"}],"title":"Seed Similarity"}},"type":"object","required":["statement_id","score"],"title":"PageRankResult"},"PaperDetail":{"properties":{"paper_id":{"type":"string","title":"Paper Id"},"external_id":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"External Id"},"title":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Title"},"authors":{"items":{"type":"string"},"type":"array","title":"Authors","default":[]},"abstract":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Abstract"},"url":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Url"},"source":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Source"}},"type":"object","required":["paper_id"],"title":"PaperDetail"},"PaperItem":{"properties":{"paper_id":{"type":"string","title":"Paper Id"},"title":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Title"},"kind":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Kind"},"source":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Source"},"authors":{"anyOf":[{"items":{"type":"string"},"type":"array"},{"type":"null"}],"title":"Authors"},"url":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Url"},"external_id":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"External Id"},"categories":{"anyOf":[{"items":{"type":"string"},"type":"array"},{"type":"null"}],"title":"Categories"},"updated_at":{"anyOf":[{"type":"string","format":"date-time"},{"type":"null"}],"title":"Updated At"},"abstract":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Abstract"},"journal_ref":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Journal Ref"},"doi":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Doi"},"license":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"License"},"repo_slug":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Repo Slug"},"branch":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Branch"},"src_path":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Src Path"},"project_name":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Project Name"},"repo_url":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Repo Url"},"lean_toolchain":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Lean Toolchain"},"mathlib_rev":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Mathlib Rev"},"git_commit":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Git Commit"},"extracted_at":{"anyOf":[{"type":"string","format":"date-time"},{"type":"null"}],"title":"Extracted At"}},"type":"object","required":["paper_id"],"title":"PaperItem"},"PaperResult":{"properties":{"paper_id":{"type":"string","title":"Paper Id"},"source":{"type":"string","title":"Source"},"title":{"type":"string","title":"Title"},"authors":{"items":{"type":"string"},"type":"array","title":"Authors"},"link":{"type":"string","title":"Link"},"summary":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Summary"},"journal_ref":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Journal Ref"},"primary_category":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Primary Category"},"categories":{"items":{"type":"string"},"type":"array","title":"Categories","default":[]},"citations":{"anyOf":[{"type":"integer"},{"type":"null"}],"title":"Citations"},"year":{"anyOf":[{"type":"integer"},{"type":"null"}],"title":"Year"},"journal_published":{"anyOf":[{"type":"boolean"},{"type":"null"}],"title":"Journal Published"}},"type":"object","required":["paper_id","source","title","authors","link"],"title":"PaperResult"},"SearchRequest":{"properties":{"query":{"type":"string","title":"Query"},"n_results":{"type":"integer","title":"N Results","default":10},"sources":{"items":{"type":"string"},"type":"array","title":"Sources","default":[]},"authors":{"items":{"type":"string"},"type":"array","title":"Authors","default":[]},"types":{"items":{"type":"string"},"type":"array","title":"Types","default":[]},"tags":{"items":{"type":"string"},"type":"array","title":"Tags","default":[]},"paper_filter":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Paper Filter"},"year_range":{"anyOf":[{"items":{"type":"integer"},"type":"array"},{"type":"null"}],"title":"Year Range"},"citation_range":{"anyOf":[{"items":{"type":"integer"},"type":"array"},{"type":"null"}],"title":"Citation Range"},"citation_weight":{"type":"number","title":"Citation Weight","default":0.0},"include_unknown_citations":{"type":"boolean","title":"Include Unknown Citations","default":true},"prompt":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Prompt"},"db_top_k":{"anyOf":[{"type":"integer"},{"type":"null"}],"title":"Db Top K"}},"type":"object","required":["query"],"title":"SearchRequest"},"SearchResponse":{"properties":{"theorems":{"items":{"$ref":"#/components/schemas/TheoremResult"},"type":"array","title":"Theorems"}},"type":"object","required":["theorems"],"title":"SearchResponse"},"StatementDetail":{"properties":{"statement_id":{"type":"string","title":"Statement Id"},"kind":{"type":"string","title":"Kind"},"ref":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Ref"},"body":{"type":"string","title":"Body"},"proof":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Proof"},"note":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Note"},"paper_id":{"type":"string","title":"Paper Id"},"paper_external_id":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Paper External Id"},"paper_title":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Paper Title"}},"type":"object","required":["statement_id","kind","body","paper_id"],"title":"StatementDetail"},"StatementItem":{"properties":{"statement_id":{"type":"string","title":"Statement Id"},"name":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Name"},"formality":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Formality"},"kind":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Kind"},"body":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Body"},"proof":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Proof"},"slogan":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Slogan"},"note":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Note"},"docstring":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Docstring"},"module":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Module"},"file_path":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"File Path"}},"type":"object","required":["statement_id"],"title":"StatementItem"},"StatementNode":{"properties":{"statement_id":{"type":"string","title":"Statement Id"},"name":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Name"},"slogan":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Slogan"}},"type":"object","required":["statement_id"],"title":"StatementNode"},"StatementRepresentation":{"properties":{"statement_id":{"type":"string","title":"Statement Id"},"paper_id":{"type":"string","title":"Paper Id"},"source":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Source"},"similarity":{"type":"number","title":"Similarity"}},"type":"object","required":["statement_id","paper_id","similarity"],"title":"StatementRepresentation","description":"Another statement whose slogan embedding is semantically close to the\ncentered statement's. Sourced from a different paper to surface cross-paper\nrestatements / equivalent results."},"StatementRoot":{"properties":{"statement_id":{"type":"string","title":"Statement Id"},"name":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Name"},"statement":{"anyOf":[{"$ref":"#/components/schemas/StatementDetail"},{"type":"null"}]},"paper":{"anyOf":[{"$ref":"#/components/schemas/PaperDetail"},{"type":"null"}]}},"type":"object","required":["statement_id"],"title":"StatementRoot","description":"The centered statement plus its paper. In minimal mode only\n`statement_id` and `name` are populated; in full mode the nested\n`statement` and `paper` details are filled in too."},"SubgraphResponse":{"properties":{"root":{"anyOf":[{"$ref":"#/components/schemas/StatementRoot"},{"type":"null"}]},"nodes":{"anyOf":[{"items":{"$ref":"#/components/schemas/StatementNode"},"type":"array"},{"type":"null"}],"title":"Nodes"},"edges":{"anyOf":[{"items":{"$ref":"#/components/schemas/DependencyEdge"},"type":"array"},{"type":"null"}],"title":"Edges"},"representations":{"anyOf":[{"items":{"$ref":"#/components/schemas/StatementRepresentation"},"type":"array"},{"type":"null"}],"title":"Representations"}},"type":"object","title":"SubgraphResponse"},"TheoremResult":{"properties":{"slogan_id":{"type":"integer","title":"Slogan Id"},"theorem_id":{"type":"integer","title":"Theorem Id"},"name":{"type":"string","title":"Name"},"body":{"type":"string","title":"Body"},"slogan":{"type":"string","title":"Slogan"},"theorem_type":{"type":"string","title":"Theorem Type"},"label":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Label"},"link":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Link"},"paper":{"$ref":"#/components/schemas/PaperResult"},"similarity":{"type":"number","title":"Similarity"},"score":{"type":"number","title":"Score"},"has_metadata":{"type":"boolean","title":"Has Metadata"}},"type":"object","required":["slogan_id","theorem_id","name","body","slogan","theorem_type","paper","similarity","score","has_metadata"],"title":"TheoremResult"},"ValidationError":{"properties":{"loc":{"items":{"anyOf":[{"type":"string"},{"type":"integer"}]},"type":"array","title":"Location"},"msg":{"type":"string","title":"Message"},"type":{"type":"string","title":"Error Type"},"input":{"title":"Input"},"ctx":{"type":"object","title":"Context"}},"type":"object","required":["loc","msg","type"],"title":"ValidationError"}}}}