Pragmatic AI Labs

Verified agentic development with Rust

Ce cours n'est pas disponible en Français (France)

Nous sommes actuellement en train de le traduire dans plus de langues.
Pragmatic AI Labs

Verified agentic development with Rust

Noah Gift
Alfredo Deza

Instructeurs : Noah Gift

Inclus avec Coursera PlusEn savoir plus

Obtenez un aperçu d'un sujet et apprenez les principes fondamentaux.
niveau Intermédiaire

Expérience recommandée

1 semaine à compléter
à 10 heures par semaine
Planning flexible
Apprenez à votre propre rythme
Obtenez un aperçu d'un sujet et apprenez les principes fondamentaux.
niveau Intermédiaire

Expérience recommandée

1 semaine à compléter
à 10 heures par semaine
Planning flexible
Apprenez à votre propre rythme

Ce que vous apprendrez

  • 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

Compétences que vous acquerrez

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

Outils que vous découvrirez

  • Catégorie : Test Tools
  • Catégorie : Software Development Tools
  • Catégorie : GitHub
  • Catégorie : Rust (Programming Language)
  • Catégorie : Generative AI Agents

Détails à connaître

Certificat partageable

Ajouter à votre profil LinkedIn

Récemment mis à jour !

octobre 2026

Évaluations

7 devoirs

Enseigné en Anglais

Découvrez comment les employés des entreprises prestigieuses maîtrisent des compétences recherchées

 logos de Petrobras, TATA, Danone, Capgemini, P&G et L'Oreal

Il y a 6 modules dans ce cours

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?

Inclus

5 vidéos3 lectures1 devoir

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.

Inclus

5 vidéos2 lectures1 devoir

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.

Inclus

6 vidéos2 lectures1 devoir

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.

Inclus

5 vidéos2 lectures1 devoir

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.

Inclus

7 vidéos2 lectures1 devoir

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.

Inclus

4 vidéos2 lectures2 devoirs

Instructeurs

Noah Gift
Pragmatic AI Labs
64 Cours12 939 apprenants
Alfredo Deza
Pragmatic AI Labs
37 Cours5 581 apprenants

Offert par

Pragmatic AI Labs

Pour quelles raisons les étudiants sur Coursera nous choisissent-ils pour leur carrière ?

Felipe M.

Étudiant(e) depuis 2018
’Pouvoir suivre des cours à mon rythme à été une expérience extraordinaire. Je peux apprendre chaque fois que mon emploi du temps me le permet et en fonction de mon humeur.’

Jennifer J.

Étudiant(e) depuis 2020
’J'ai directement appliqué les concepts et les compétences que j'ai appris de mes cours à un nouveau projet passionnant au travail.’

Larry W.

Étudiant(e) depuis 2021
’Lorsque j'ai besoin de cours sur des sujets que mon université ne propose pas, Coursera est l'un des meilleurs endroits où se rendre.’

Chaitanya A.

’Apprendre, ce n'est pas seulement s'améliorer dans son travail : c'est bien plus que cela. Coursera me permet d'apprendre sans limites.’

Qu’est-ce qui vous amène sur Coursera aujourd’hui ?

Foire Aux Questions