Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

🧮 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

Vibe

9,130 subscribers

26,675 Aufrufe • vor 6 Monaten •via X (Twitter)

LIVE

Anya Rossi• Live Now

Private livecam show

0 Kommentare

Keine Kommentare verfügbar

Kommentare vom Original-Post werden hier angezeigt

Ähnliche Videos

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

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.

Melanie Weber

38,734 Aufrufe • vor 1 Monat

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

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.

Fased

20,024 Aufrufe • vor 3 Monaten

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

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:

Karan Vaidya

239,391 Aufrufe • vor 1 Monat

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

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.

Alvaro Cintas

15,934 Aufrufe • vor 1 Monat

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

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!

Chubby♨️

40,292 Aufrufe • vor 1 Monat

First Avatar to get into the avatar state and use it to run away .
0:18

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

MoonShooter

310,638 Aufrufe • vor 2 Monaten

Kind of crazy that you can just use Codex or Claude and vibe code things like this into existence
0:13

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

Gabriel

28,018 Aufrufe • vor 5 Monaten

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

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.

Hyperbrowser

13,003 Aufrufe • vor 4 Monaten

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

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.

shiv

40,564 Aufrufe • vor 29 Tagen

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,899 Aufrufe • vor 6 Monaten

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 👇
0:16

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 👇

ComfyUI

124,260 Aufrufe • vor 2 Monaten

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

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 👇

Techartist

17,454 Aufrufe • vor 4 Monaten

🚨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

106,049 Aufrufe • vor 4 Monaten

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

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.

Ryan Campbell

48,241 Aufrufe • vor 1 Monat

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🕳🥊

143,696 Aufrufe • vor 3 Jahren

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

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.

elvis

11,303 Aufrufe • vor 2 Monaten

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

45,328 Aufrufe • vor 1 Jahr

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

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

Arm

26,873 Aufrufe • vor 1 Monat

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,703 Aufrufe • vor 1 Jahr