Use generated docs in local circuit prompt#71

a1local wants to merge 2 commits into

tscircuit:maintscircuit/prompt-benchmarks:mainfrom

a1local:codex/generated-docs-prompt-45a1local/prompt-benchmarks:codex/generated-docs-prompt-45Copy head branch name to clipboard