Loading video...

Video Failed to Load

Go Home

🧮 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.

mistralvibe's profile picture

Mistral Vibe

7,435 subscribers

26,304 views • 3 months ago •via X (Twitter)

LIVE

Anya Rossi• Live Now

Private livecam show

0 Comments

No comments available

Comments from the original post will appear here

Related Videos

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-onboarding
0:11

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-onboarding

Lance Martin

14,865 views • 3 months ago

🚨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.
0:19

🚨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.

Crypto Banter

105,897 views • 21 days ago

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!🍐
0:15

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!🍐

Holepunch🕳🥊

142,839 views • 3 years ago

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:
0:13

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:

Santiago

44,730 views • 1 year ago

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 with
0:19

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 with

Virat Singh

317,057 views • 9 months ago

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.
0:14

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.

Akshay 🚀

52,426 views • 5 months ago

This is how you unlock the next billion software developers. The new Replit ⠕ Agent 3 (they just launched) is the most advanced vibe-coding agent in the world. 1. Smarter than any other vibe-coding model (10x more autonomous than the previous version). 2. It thinks harder and lasts longer than any other model (up to 200 minutes running fully autonomously). 3. The agent can now use an actual browser to test and fix its own code. 4. 3x faster and 10x more cost-effective than any other "Computer Use" for testing. 5. It can build other agents and automations to take care of repetitive tasks. Seeing the agent test the application autonomously is science fiction!
0:16

This is how you unlock the next billion software developers. The new Replit ⠕ Agent 3 (they just launched) is the most advanced vibe-coding agent in the world. 1. Smarter than any other vibe-coding model (10x more autonomous than the previous version). 2. It thinks harder and lasts longer than any other model (up to 200 minutes running fully autonomously). 3. The agent can now use an actual browser to test and fix its own code. 4. 3x faster and 10x more cost-effective than any other "Computer Use" for testing. 5. It can build other agents and automations to take care of repetitive tasks. Seeing the agent test the application autonomously is science fiction!

Santiago

167,056 views • 10 months ago

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 :)
0:19

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 :)

mzba

62,157 views • 6 months ago

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 #DigitalTransformation
0:19

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 #DigitalTransformation

Adarsh Chetan

268,933 views • 8 months ago

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 #HecklerKoch
0:16

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 #HecklerKoch

Battlefield Vegas

24,449 views • 2 months ago

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 at
0:17

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 at

Nous Research

63,077 views • 2 days ago

🤖 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:
0:11

🤖 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:

Visual Studio Code

110,267 views • 4 months ago

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.
0:12

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.

Virat Singh

553,077 views • 6 months ago

IntelliJ IDEA includes an open-source Java decompiler called Fernflower. But did you know that you can also use it as a standalone CLI program? And what's even better – it's now available on Homebrew! To install it, run the `brew install fernflower` command in the terminal. 🧵 Learn more about how to use Fernflower in the thread! 🧵
0:12

IntelliJ IDEA includes an open-source Java decompiler called Fernflower. But did you know that you can also use it as a standalone CLI program? And what's even better – it's now available on Homebrew! To install it, run the `brew install fernflower` command in the terminal. 🧵 Learn more about how to use Fernflower in the thread! 🧵

IntelliJ IDEA, a JetBrains IDE

13,184 views • 9 months ago

It can be hard to remember specific terminal commands. Luckily with Visual Studio Code and Inline Chat in the terminal, you can simply ask AI and then run the command directly.
0:13

It can be hard to remember specific terminal commands. Luckily with Visual Studio Code and Inline Chat in the terminal, you can simply ask AI and then run the command directly.

Visual Studio Code

47,461 views • 1 year ago

BIG one for devs today. Introducing the Notion Developer Platform: - Notion CLI, ntn (Notion in your terminal) - Workers (run code on Notion's infra) - Database sync (any data source into Notion) - Agent tools (build any workflow) - Webhook triggers (trigger Notion from any app) - External Agents API (bring any agent into Notion) - Notion Agents SDK (use Notion Agents anywhere) - …and a bunch more API improvements And soon, you won't need to be a developer to build on Notion. Your agent will be one for you.
0:15

BIG one for devs today. Introducing the Notion Developer Platform: - Notion CLI, ntn (Notion in your terminal) - Workers (run code on Notion's infra) - Database sync (any data source into Notion) - Agent tools (build any workflow) - Webhook triggers (trigger Notion from any app) - External Agents API (bring any agent into Notion) - Notion Agents SDK (use Notion Agents anywhere) - …and a bunch more API improvements And soon, you won't need to be a developer to build on Notion. Your agent will be one for you.

Notion

974,098 views • 2 months ago

So... I literally oneshotted this code with Claude Sonnet 3.7 for replicating the exact same browser sandbox runtime that Manus uses. And I am going to open-source it, welcome contributions for building out the React VNC client, integrating to browser use, agent loop, etc. But we need a name first, should we call it... - Autonomous Neural Universal System - Magnus - or ?
0:10

So... I literally oneshotted this code with Claude Sonnet 3.7 for replicating the exact same browser sandbox runtime that Manus uses. And I am going to open-source it, welcome contributions for building out the React VNC client, integrating to browser use, agent loop, etc. But we need a name first, should we call it... - Autonomous Neural Universal System - Magnus - or ?

jian

419,270 views • 1 year ago