fix: use auto generated docs in system prompt

[Vinzz2303]

Updates the prompt to fetch the new auto-generated docs from docs.tscircuit.com/ai.txt. Fixes #45

/claim #45

[Vinzz2303]

Hi team 👋 The implementation is ready with all tests passing. Could you please take a look when you have a chance? Thank you!

[Vinzz2303]

Hi! Friendly ping on this PR. All checks are green and it's ready for review. Thanks!

[Vinzz2303]

Hi team, quick follow-up: checks are still green and this small prompt/docs integration PR is ready for review. Thanks!

[Vinzz2303]

Hi team! Friendly follow-up on this PR. The implementation is complete, and all tests and CI checks are passing successfully. Could you please take a look when you have a moment? Thank you!

[Vinzz2303]

Hi team — following up on the Algora claim for this PR: https://algora.io/claims/xFpkLUNxWxKHeJWd

The claim has been pending since June 7, 2026, and issue #45 is now closed. This PR is still open, mergeable, and all checks are green.

Could you please confirm whether this contribution is eligible and resolve the pending claim when convenient? If it is not eligible, a brief decision would also help me close it out cleanly. Thank you.

[Vinzz2303]

Hi, just checking in to see if this is ready for review.

[Vinzz2303]

@seveibar Hello! Just following up on this PR. It's ready for review when you have a moment.