New release of my LLM command-line tool and Python library for interacting with Large Language Models – includes support for the GPT-5 model family and improvements to how tool calling works – you can now save multiple tool configurations in a template!
OPEN SOURCE
-
GPT-OSS Project Shows Strong Initial Download Momentum
By
–
initial gpt-oss download stats looking exciting!
-
GLM-4.5V: Open-source vision model dominates benchmarks, exciting open-source community
By
–
GLM-4.5V is a new open-source vision model (just released) and it's dominating benchmarks. Glad to see serious teams prioritizing open-source models – these results are wild: Hugging Face: http://
huggingface.co/zai-org/GLM-4.
5V
…
GitHub: http://
github.com/zai-org/GLM-V http://
Z.ai API: -
Stainless Team Develops Smart JSON Response Filtering with MCP
By
–
Thanks to the team at Stainless for their ingenuity in building smart response filtering into the MCP server using `jq`, which keeps large JSON responses from overwhelming model context windows.
-
Two Ways to Use Replicate’s MCP Server: Remote and Local
By
–
There are two ways to use Replicate's MCP server: 1. Remote: Use our hosted server at http://
mcp.replicate.com
2. Local: Install the npm package and run it on your own machine. -
Baichuan-M2: Medical Reasoning Model Surpasses Open-Source Competitors
By
–
Today we introduced Baichuan-M2, a medically-enhanced reasoning model, which surpasses all open-source models including gpt-oss-120b on the #HealthBench Benchmark. Try it here: https://
huggingface.co/baichuan-inc/B
aichuan-M2-32B
…
#AIHealth -
Running Qwen Image Model on Mac with 60GB RAM
By
–
Ivan's qwen-image-mps Python script is excellent – if you have 60GB of RAM to spare (somehow my 64GB M2 just managed to run it) you can generate images using Qwen's Qwen-Image model running on a Mac – my notes here: https://
simonwillison.net/2025/Aug/11/qw
en-image-mps/
… -
LeanDojo Major Update: Lean 4 Code IDE for Verified Math
By
–
Major update of LeanDojo: Lean + LLM for verified math reasoning. https://t.co/yYKUrhx7UG
— Prof. Anima Anandkumar (@AnimaAnandkumar) 11 août 2025
Lean4Code v1.0.0 – A specialized integrated development environment built as a fork of VS Code, designed specifically for Lean theorem proving. The IDE features automatic Lean installation,… pic.twitter.com/PWJEVWMhafMajor update of LeanDojo: Lean + LLM for verified math reasoning.
https://
leandojo.org Lean4Code v1.0.0 – A specialized integrated development environment built as a fork of VS Code, designed specifically for Lean theorem proving. The IDE features automatic Lean installation, -
Rust vs Python: Programming Language Choice Dilemma
By
–
I don’t know. I don’t program in Rust, and the Python code is still running.
-
100+ Free Open Source AI Agents and RAG Tutorials
By
–
Stay tuned for more such interesting posts → @Saboo_Shubham_ I have created 100+ AI Agents and RAG tutorials, 100% free and opensource. P.S: Don't forget to star the repo to show your support