🧮 Leanstral keeps things lean. The first open-source code... agent for Lean 4 is built into Vibe so you can run formal verification and mathematical proofs. Run /leanstall to use it.show more

Moving from individual proofs to large-scale autoformalization requires new... tools. We introduce Choir, an open protocol for multi-agent autoformalization that decomposes projects into tasks, coordinates contributions through GitHub, and deterministically checks them before merging. Choir is modular, open source, and supports Lean 4, Isabelle, and Rocq. Repository: Preprint: Led by Yidi Qi. Supported by DARPA expMath.show more

Fased Agent is open source. Run your own agent.... Start with the dashboard. Connect a model. Run a first task. Then add wallets, tools, and mining when the setup is ready. GitHub + docs in reply.show more

We are launching Open Dots, run the same capabilities... in 1/10th of the cost OpenAI shipped Dot yesterday for Pro users. Ours is open source, runs on your Mac and cheaper Here's how it works: - each dot has its own browser that stays logged in securely - it can use and setup triggers on your Gmail, Calendar and 1,500 other apps - you can call it and give it things to do while you talk - dots can coordinate and schedule reminders built with Composio OpenRouter free and open source:show more

Cline Desktop just launched. An open-source workspace for open-weight... models 🤯 > Import tasks from other coding agents > Run agents in parallel > Schedule tasks to run on their own Free models built in: DeepSeek V4 Flash, GLM 5.3 Flash, Laguna S 2.1. I had early access and I can assure you it feels incredible. Pick your model and provider, and run it. 100% open source.show more

Something just launched that makes VS Code feel ancient.... And im all in for it: Cline Desktop app, an open-source app for open-weight models (and you know how much i love open source) brings its coding agent into a standalone Cline Desktop app for Mac + Windows. Just open a project and tell it what you want to change. No need to open VS Code first. In Cline's demo, it adds priority filters to a task board, works through the code and runs the build. Glad to see the model choice stays open, too. You can bring your own API keys, use supported open-weight models and even switch models halfway through a project!show more

First Avatar to get into the avatar state and... use it to run away .show more

Kind of crazy that you can just use Codex... or Claude and vibe code things like this into existenceshow more

Introducing HyperScript, an open-source browser agent builder. Describe any... web task in plain English and it writes a real Hyperbrowser script to do it. Watch it run live, then keep the code. Powered by Hyperbrowser.show more

computer use on mac just got a lot faster.... i built arc-driver - a lean & powerful computer-use driver for macos. >faster than cua-driver on most tasks. up to 8x on some. >plug it into your coding agents with a single command. open source. link below.show more

a great way to get started is to use... our skill, built into Claude Code. get the latest Claude Code release: $ claude update then start Claude Code and run our subcommand: $ claude /claude-api managed-agents-onboardingshow more

SAM 3D Body is open-source, so it can be... run locally or on Comfy Cloud. Extract motion from a recording → bring it into Blender → control the camera → use the result with Seedance 2.5 More control over body motion and camera movement. To try this workflows, links below 👇show more

Built an interactive Three.js system where click/touch input morphs... 6,000 shader particles between code-generated mathematical structures. Open source code and demo 👇show more

🚨VITALIK: ETHEREUM’S THIRD MAJOR ITERATION, “LEAN ETHEREUM” IS COMING!... After Berlin researcher meetings, Vitalik outlined “Lean Ethereum”, the next big multi-year upgrade, following Frontier and The Merge. Key shifts: recursive STARKs as a core feature, full quantum safety, new consensus with faster finality, multidimensional gas, new state types for massive scalability, privacy as a first-class goal, and formal verification everywhere. It will roll out over 3-4 years with minimal disruption to existing apps.show more

is a great idea. Canada should have one too.... So I built it 🍁 open source, free. Try it here: Canada it's yours if you want it. open source, multi-language, and just add a country pack to use for any country.show more

Don't trust, Verify ! You can now dig into... the core building blocks of Keet to verify the code and cryptography that is being used ! Visit & to view the first wave of our open-source code ! More updates and code to follow soon!🍐show more

New open-source agent harness just landed! I got early... access to TrueForge by TrueFoundry and have been running it locally for the past few days. The harness layer deserves as much attention as the model, and open source matters here because you can inspect the loop, run it on your own infrastructure, and swap to the latest or cheaper models. TrueForge handles the runtime work that makes an agent reliable. It drives the tool-calling loop, manages context, coordinates subagents, and executes code in a sandbox, with any model you choose. Every tool call re-sends the growing context to the model, so in practice the harness controls most of what an agent costs to run. A few things stood out from my testing and their published benchmarks. Vendor-Neutral by design. It runs OpenAI, Anthropic, and Google models alongside open-weight models like Kimi, GLM, and DeepSeek. Model routing is a setting, and you can send each task to the model that fits it. On a 14-task enterprise agent benchmark, it matched the accuracy of Claude Managed Agents running the same Opus 4.8 model at roughly 30% lower cost per run (3.8M tokens vs 10M for the same answers). Routing the same tasks to GLM-5.2 held accuracy and brought cost down by about 75%, around $3 per run instead of $12. Fully self-hosted and Open Source (MIT License). I had it running locally with one command, with sandboxed code execution working out of the box. It's time to own your agent harness. Thanks to TrueFoundry for partnering on this post.show more

MiniMax is the James Bond of AI agents. It... uses the world's first open-weight model (MiniMax-M1), and it squeezes every bit of power from it. The agent takes a prompt and does more than any other agent in the market right now: 1. It can do Deep Research 2. It can write code 3. It can design web pages 4. It can build 3D models I built 5 different experiences using MiniMax and recorded them for you:show more

Run the agent. Secure the infrastructure around it. As... AI agents become more autonomous, security has to be built into the infrastructure around them. Arm CPUs run agentic workloads, while Arm-based DPUs provide independent observation, isolation and policy enforcement. NVIDIA’s Open Agent Safety Platform shows that model in action. 🔐show more

Introducing Dexter. An open source financial agent in ~200... lines of code. Think: Claude Code, but for finance. What Dexter does today: • plans tasks • runs on its own • validates its work • researches stocks It’s built with OSS tools like for managing LLMs, prompts, outputs, etc. No coding experience needed to run. Goal: build the best financial agent and share every line of code along the way. Next: evals, starting withshow more