Releasing MathCode v0.0.2, a frontier AI agent that formalizes and proves math in Lean 4.
Now defaults to Codex, supports Claude API and MiniMax. Mix backend: Codex for chat +Claude for math also available.
Natural language → Lean 4 theorem → formal proof.
Try at: https://t.co/Wcyux6R5zE
xAPI is the API platform for Agents. @xapi_to
Connecting to xAPI to unlock AI, Twitter, Search, and Crypto capabilities with one API key.
Invite Link: https://t.co/sp5YPLQesd
What comes next for Anchor?
The v2 design proposal is out and available for review here: https://t.co/JLdejRkzxy
Live discussion happening on Discord today at 7pm UTC / 2pm EST / 11am PST.
Come share your thoughts 👇
Impressive results from Season 1 of the 2026 Solana Chinese Developer Bootcamp:
→ 21 dev communities & 21 universities onboarded
→ 2,874 devs enrolled & 681 completions
→ 307 honored graduates
→ 20+ job placements