🧮 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

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

First Avatar to get into the avatar state and... use it to run away .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

🚨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

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

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

OpenClaw, but built for normal people. Sim is an... open-source platform that lets you build AI agent workflows on a drag-and-drop canvas. Connect them to channels like Telegram and WhatsApp and deploy without writing a single line of code. They also have a built-in Copilot that generates entire workflows from plain English, which you can then tweak and customize in the UI. Key features: - Free and open-source (Apache 2.0) - Vector store integration for RAG-grounded agents - Self-host with one command (`npx simstudio`) - Run fully local with Ollama, no API keys needed - Supports vLLM for production-grade self-hosted inference The thing I really like about Sim is the level of control you get. You can add conditional branching, parallel execution, human-in-the-loop approval gates, and even nest workflows inside other workflows. Everything is visible on the canvas, so you know exactly what your agent is doing at every step. And you can build a workflow in Sim, deploy it as an MCP server, and plug it into any agent, including OpenClaw. I've shared the link to Sim's GitHub repo in the next tweet.show more

Minimax 2.1 is so far the best model I... can run locally with good agentic tool use. Wow, such an advancement, can't believe just a year ago, open source models could barely even code a snake game properly. Now I can use a local model to code a self-playing 3D snake game. 2026 will be a very interesting year :)show more

Building AI agents is finally simple — and Airia... is leading the way. I’ve been testing Airia AI , enterprise AI orchestration platform that unifies every model, workflow, and data source into one secure environment. Whether you’re a developer, analyst, creator, or enterprise leader, Airia makes it incredibly easy to build powerful AI agents — without wrestling with multiple tools or complex integrations. Using the no-code builder, you can drag-and-drop actions, connect data, choose your LLM, and launch an agent in minutes. Then run it live, publish it, and even share it with the Airia Community, home to 2,500+ pre-built agents you can use or remix. If you want to automate workflows, prototype faster, or explore real enterprise AI use cases, Airia is the place to start. 👉 Build your first agent today: 👉 Explore the community: #Airia #AgenticAI #AIOrchestration #AIAgents #AIWorkflow #DigitalTransformationshow more

We’re adding HK-21’s to the lineup. This is NOT... for the meek. You really, really need to lean into it and it still wants to go for a ride. #HK21 #BeltFed #762NATO #HK #HecklerKochshow more

Ling-3.0-flash, the new MoE model from Ant Ling, is... now free in Nous Portal for the next week! At 124B parameters and 5.1B active, it's quick to run and built for agent workloads: coding, search, research, and tool use. Try it free today atshow more

🤖 Try Autopilot (Preview) in VS Code! With Autopilot... enabled, the agent stays in control of the workflow. It can run tools, retry on errors, and continue working until the task is complete. Learn more:show more

Wow, I didn’t expect my shader background built with... SwiftUI to get this much love. So here's me giving it back. I’ve added the code to my open-source SwiftUI repository. Feel free to use it however you like, and share it with your dev friends. :Dshow more

I’ve been building Dexter for 2 months now. It’s... like Claude Code, but for finance. What Dexter can do: • find undervalued stocks • analyze them in detail • build investment thesis All of the code is open source. Bonus: Dexter can also run on local LLMs.show more