Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

Mistral Vibe CLI is an open-source command-line coding assistant powered by Devstral. It explores, modifies, and executes changes across your codebase using natural language. Also under Apache 2.0. Install via: uv tool install mistral-vibe

144,624 Aufrufe • vor 8 Monaten •via X (Twitter)

0 Kommentare

Keine Kommentare verfügbar

Kommentare vom Original-Post werden hier angezeigt

Ähnliche Videos

Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems Most AI theorem proving is a language model generating a proof in one shot, with a verifier bolted on at the end to check it. That's autocomplete with a grader — and Mistral just drew a clear line between that and an actual proof agent. They released Leanstral 1.5 — a 119B MoE with 6.5B active parameters, trained as a code agent that lives inside the Lean 4 compiler loop: propose a proof, read the compiler's goals and errors, refine, repeat until it compiles or the budget runs out. Verification isn't the eval here. It's the training signal. Here's what's actually interesting: → Test-time scaling behaves like a dial: PutnamBench Pass@8 climbs 44 → 244 → 493 → 587 solved as the per-attempt token budget moves 50k → 200k → 1M → 4M → 587/672 on PutnamBench at ~$4 per problem, versus an estimated $300+ for Seed-Prover 1.5 high (a 10 H20-days-per-problem budget) → Saturates miniF2F: 100% on both validation and test sets → Two RL environments in training — a multiturn prover, and a raw-filesystem code agent that edits files, runs bash, and queries the Lean language server for live goals and types → Not just math: an Aeneas (Rust → Lean) pipeline flagged 11 genuine bugs across 57 repos, 5 previously unreported — including an integer overflow in datrs/varinteger when (value + 1) hits Std.U64.MAX Apache 2.0 weights, free API endpoint Full analysis: Model weights: Project: Technical Details: Mistral AI Mistral AI for Developers Sophia Yang, Ph.D.

Marktechpost AI

56,695 Aufrufe • vor 2 Monaten

Today we’re partnering with AWS to launch Superblocks 3.0: the secure way for employees to vibe code production enterprise software. In a single prompt, Superblocks can replace million dollar SaaS, while IT & Security stay in control. OpenAI and Anthropic are releasing new models with advanced cyber attack capability and vibe coding is every company's achilles heel: > Personal Replit accounts store untracked customer data. > Lovable prototypes with your data open to the public internet. > Claude on the desktop pulls malicious packages. How Superblocks 3.0 works: 1. Superblocks Builds: Import vibe coded prototypes. Model routing picks the best frontier or open source model per task. Saves up to 30% on token costs. 2. Superblocks Secures: A swarm of security agents work like a real human team to find and fix vulnerabilities. 3. Superblocks Deploys: Unlike consumer vibe coding tools that send your data to their cloud, Superblocks deploys the application, database, and AI inference securely inside your private AWS environment. Superblocks 3.0 is trusted across enterprises like Instacart, Benchling, and even banks and social networks with the most stringent security requirements. Book a demo here: Everyone says, “AI is replacing SaaS”, yet find me a Fortune 500 company that has vibe coded its own CRM instead of using Salesforce. That changes today. To celebrate our launch, we're building 1,000 enterprise apps for free. Comment a SaaS tool you hate and why, and we'll reply with an enterprise-grade replacement.

Brad Menezes

19,479,818 Aufrufe • vor 29 Tagen

🚨 Claude Code costs $200/month. GitHub Copilot costs $19/month. Jack Dorsey's company built a free alternative. 35,000 GitHub stars. It's called Goose. An open source AI agent built by Block that goes beyond code suggestions. It installs, executes, edits, and tests. With any LLM you choose. Not autocomplete. Not suggestions. A full autonomous agent that takes actions on your computer. No vendor lock-in. No monthly subscription. Bring your own model. Here's what Goose does: → Works with ANY LLM. Claude, GPT, Gemini, Llama, DeepSeek, Ollama. Your choice. → Reads and understands your entire codebase → Writes, edits, and refactors code across multiple files → Runs shell commands and installs dependencies → Executes and debugs your code automatically → Extensible through MCP. Connect it to any external tool. → Desktop app, CLI, and web interface. Pick your workflow. → Written in Rust. Fast. Lightweight. No bloat. Here's the wildest part: Block is a $40 billion company. They built Cash App, Square, and TIDAL. They use Goose internally. Then they open sourced the entire thing. This isn't a side project from a random developer. This is production-grade tooling from a company that processes billions in payments. Built for their own engineers. Given to everyone. Claude Code: $200/month. Locked to Claude. GitHub Copilot: $19/month. Locked to GitHub. Cursor: $20/month. Locked to their editor. Goose: Free. Any LLM. Any editor. Any workflow. Forever. 35.3K GitHub stars. 3.3K forks. 4,078 commits. Built by Block. 100% Open Source. Apache 2.0 License.

Nav Toor

394,263 Aufrufe • vor 5 Monaten