@githubfeed.bsky.social on Bluesky

Post

VritraSec • GitHub Feed

githubfeed.bsky.social

did:plc:talzg3laasdcy4cq3l5t3bg4

🚀 GitHub Intelligence Drop prime-agent (TypeScript • 🟢) ⭐ 17.1K → https://github.com/PrimeIntellect-ai/prime-agent lean4 (Lean • 🟢) ⭐ 8.8K → https://github.com/leanprover/lean4 ⚡ Only signal. Zero noise.

2026-08-18T18:25:37.671Z

Enable JavaScript to use Bluesky.

Learn more about Bluesky at bsky.social and atproto.com.