Pragmatic AI Labs

Verified agentic development with Rust

Eignen Sie sich gefragte Fähigkeiten mit einem ganzjährigen Coursera Plus-Abonnement an -- jetzt für 239 $. Sparen Sie jetzt.

kurs ist nicht verfügbar in Deutsch (Deutschland)

Wir übersetzen es in weitere Sprachen.
Pragmatic AI Labs

Verified agentic development with Rust

Noah Gift
Alfredo Deza

Dozenten: Noah Gift

Bei Coursera PlusMehr erfahren enthalten

Verschaffen Sie sich einen Einblick in ein Thema und lernen Sie die Grundlagen.
Stufe Mittel

Empfohlene Erfahrung

1 Woche zu vervollständigen
unter 10 Stunden pro Woche
Flexibler Zeitplan
In Ihrem eigenen Lerntempo lernen
Verschaffen Sie sich einen Einblick in ein Thema und lernen Sie die Grundlagen.
Stufe Mittel

Empfohlene Erfahrung

1 Woche zu vervollständigen
unter 10 Stunden pro Woche
Flexibler Zeitplan
In Ihrem eigenen Lerntempo lernen

Was Sie lernen werden

  • Explain why AI output must be verified, and where large language models and agents fail

  • Use Antigravity artifacts, AGENTS.md, rules and skills to control and constrain an agent

  • Build checks that hold agent work to account: a Makefile, tests, coverage, PMAT and GitHub Actions pull request workflows

Kompetenzen, die Sie erwerben

  • Kategorie: Code Review
  • Kategorie: Code Coverage
  • Kategorie: Test Driven Development (TDD)
  • Kategorie: Large Language Modeling
  • Kategorie: AI Workflows
  • Kategorie: Software Testing
  • Kategorie: CI/CD
  • Kategorie: Generative AI
  • Kategorie: Verification And Validation
  • Kategorie: Continuous Integration
  • Kategorie: Development Testing
  • Kategorie: Agentic Workflows

Werkzeuge, die Sie lernen werden

  • Kategorie: Software Development Tools
  • Kategorie: Test Tools
  • Kategorie: Generative AI Agents
  • Kategorie: Rust (Programming Language)
  • Kategorie: GitHub

Wichtige Details

Zertifikat zur Vorlage

Zu Ihrem LinkedIn-Profil hinzufügen

Kürzlich aktualisiert!

Oktober 2026

Bewertungen

7 Aufgaben

Unterrichtet in Englisch

Erfahren Sie, wie Mitarbeiter führender Unternehmen gefragte Kompetenzen erwerben.

 Logos von Petrobras, TATA, Danone, Capgemini, P&G und L'Oreal

Erweitern Sie Ihre Fachkenntnisse

Dieser Kurs ist Teil der Spezialisierung Spezialisierung „Agentic Machine Learning in Rust“
Wenn Sie sich für diesen Kurs anmelden, werden Sie auch für diese Spezialisierung angemeldet.
  • Lernen Sie neue Konzepte von Branchenexperten
  • Gewinnen Sie ein Grundverständnis bestimmter Themen oder Tools
  • Erwerben Sie berufsrelevante Kompetenzen durch praktische Projekte
  • Erwerben Sie ein Berufszertifikat zur Vorlage

In diesem Kurs gibt es 6 Module

You see how AI coding has evolved from autocomplete and chat to agents that read files, run commands and correct themselves, and why that moves your value from typing to verifying. You learn why a generative model is a probability machine rather than a database of facts, and you watch an instructor test chatbots on a summary of himself to see where accurate and invented details mix. The module sets up the question that carries through the whole course: how many wrong changes does your setup catch before a human would have?

Das ist alles enthalten

5 Videos3 Lektüren1 Aufgabe

You install Google Antigravity, start a session in a project folder and answer the trust prompt that protects you from unfamiliar contents. You then use artifacts to review a plan before the agent acts, adding a comment that sends it back for revision. You finish by letting Antigravity create your first agent, which produces an AGENTS.md file with rules and skills. Those pieces are the foundation for every guardrail you add in later modules.

Das ist alles enthalten

5 Videos2 Lektüren1 Aufgabe

You compare four ways to reduce the risks of large language models, from prompt engineering to training from scratch, and see why the cheapest option comes first. You then apply the same idea to agent output with the verification ladder: formatting, linting, tests and continuous integration, each deterministic. You see why a language's own toolchain, its verification surface, matters, and you watch a one-shot agent build a whole project whose coverage report shows files that no test ever touched.

Das ist alles enthalten

6 Videos2 Lektüren1 Aufgabe

You turn written rules into automation by adding a Makefile, so the agent can run one target that bundles every check. You then try to enforce test-driven development through the agent's rules, see Antigravity ignore the rule at first, and learn that enforcement sometimes takes correcting and restating. You finish with PMAT, a tool that goes beyond tests and linting with a quality gate, a score and a compliance report that agents can read and act on.

Das ist alles enthalten

5 Videos2 Lektüren1 Aufgabe

You see why continuous integration is the referee for agent work: a fresh runner with only what the repository declares, which can block a merge on red. You learn the parts of GitHub Actions, including workflows, events, jobs, steps and runners, then add Dockerfile linting with hadolint to pull requests and watch it flag the latest image tag. You finish by asking an agent to create pull request workflows and seeing remote checks, such as a coverage threshold, hold its own work to account.

Das ist alles enthalten

7 Videos2 Lektüren1 Aufgabe

You examine a real repository where agents do most of the work and verification gates all of it, with thousands of commits, nightly tests, PMAT configuration and file-size limits. You then ask Antigravity to analyze the repository and summarize how it verifies agent work, including pre-flight verification, ratcheting quality gates, falsification, a multi-agent review quorum and provable contracts. You leave with a way to investigate and apply these patterns to any project.

Das ist alles enthalten

4 Videos2 Lektüren2 Aufgaben

Erwerben Sie ein Karrierezertifikat.

Fügen Sie dieses Zeugnis Ihrem LinkedIn-Profil, Lebenslauf oder CV hinzu. Teilen Sie sie in Social Media und in Ihrer Leistungsbeurteilung.

Dozenten

Noah Gift
Pragmatic AI Labs
64 Kurse13.626 Lernende
Alfredo Deza
Pragmatic AI Labs
38 Kurse6.039 Lernende

von

Pragmatic AI Labs

Mehr von Software Development entdecken

Warum entscheiden sich Menschen für Coursera für ihre Karriere?

Felipe M.

Lernender seit 2018
„Es ist eine großartige Erfahrung, in meinem eigenen Tempo zu lernen. Ich kann lernen, wenn ich Zeit und Nerven dazu habe.“

Jennifer J.

Lernender seit 2020
„Bei einem spannenden neuen Projekt konnte ich die neuen Kenntnisse und Kompetenzen aus den Kursen direkt bei der Arbeit anwenden.“

Larry W.

Lernender seit 2021
„Wenn mir Kurse zu Themen fehlen, die meine Universität nicht anbietet, ist Coursera mit die beste Alternative.“

Chaitanya A.

„Man lernt nicht nur, um bei der Arbeit besser zu werden. Es geht noch um viel mehr. Bei Coursera kann ich ohne Grenzen lernen.“

Was führt Sie heute zu Coursera?

  • cplus logo

    Eignen Sie sich Fähigkeiten an, die ein Leben lang halten -- jetzt für 239 $

  • Coursera for Teams

    Verleihen Sie Ihrem Team neue Fähigkeiten

Häufig gestellte Fragen