When you enroll in this course, you'll also be enrolled in this Specialization.
Learn new concepts from industry experts
Gain a foundational understanding of a subject or tool
Develop job-relevant skills with hands-on projects
Earn a shareable career certificate
There are 3 modules in this course
Learn to build deterministic AI agents using the Model Context Protocol (MCP) and structured quality metrics for repeatable, verifiable outputs. You will explore PMAT as a quality assessment tool for software projects, applying lean manufacturing principles from the Toyota Way including continuous improvement and waste elimination to software quality engineering. The course covers the certainty-scope tradeoff for balancing test coverage and confidence, finite state machine models for deterministic agent behavior, and MCP protocol architecture for structured agent-tool communication. You will analyze survivorship bias in programming language popularity rankings and apply six essential quality metrics for comprehensive project assessment and automated scoring. The testing module covers six essential test types for agent validation, property-based testing for verifying behavioral invariants, and fuzz testing for discovering edge cases using agentic AI. You will use Claude Code as an MCP client integrated with PMAT for automated quality analysis and walk through real-world project examples demonstrating quality scoring across multiple codebases. By completing this course, you will be able to design deterministic agent systems using MCP, apply comprehensive quality metrics with PMAT, and implement property and fuzz testing strategies for robust agent validation.
Covers deterministic, MCP, overview, PMAT, and quality.
What's included
8 videos6 readings1 assignment
Show info about module content
8 videos•Total 44 minutes
Course Intro•7 minutes
Intro PMAT•5 minutes
Toyota Way PMAT•6 minutes
Certainty-Scope Tradeoff•6 minutes
FSM Quality Metrics•5 minutes
MCP Protocol Architecture•5 minutes
Survivorship-Adjusted Language Popularity•3 minutes
Six Essential Quality Metrics•7 minutes
6 readings•Total 6 minutes
Key Terms: Course•1 minute
Reflection: Course•1 minute
Key Terms: Certainty-Scope Tradeoff•1 minute
Reflection: Certainty-Scope Tradeoff•1 minute
Key Terms: Survivorship-Adjusted Language Popularity•1 minute
Reflection: Survivorship-Adjusted Language Popularity•1 minute
1 assignment•Total 5 minutes
Quiz: Deterministic MCP Foundations•5 minutes
Testing and Agentic AI Applications
Module 2•1 hour to complete
Module details
Covers test types, testing strategy, validation, property testing, and agentic AI.
What's included
5 videos5 readings1 assignment
Show info about module content
5 videos•Total 22 minutes
Six Essential Test Types•6 minutes
Property Testing with Agentic AI•5 minutes
Fuzz Testing with Agentic AI•5 minutes
Using Claude with PMAT•3 minutes
Project Examples Walkthrough•3 minutes
5 readings•Total 50 minutes
Key Terms: Six Essential Test Types•10 minutes
Design by Provable Contracts•10 minutes
Reflection: Six Essential Test Types•10 minutes
Key Terms: Using Claude with PMAT•10 minutes
Reflection: Using Claude with PMAT•10 minutes
1 assignment•Total 5 minutes
Testing and Agentic AI Applications•5 minutes
Capstone
Module 3•1 hour to complete
Module details
Build a deterministic MCP agent backed by provable contracts and PMAT compliance enforcement. Use the provable-contracts seven-phase pipeline (Extract, Specify, Scaffold, Implement, Falsify, Verify, Prove) to derive mathematically grounded kernel contracts from peer-reviewed papers, then enforce those contracts through property-based testing, Kani bounded model checking, and `pmat comply` quality gates.
What's included
3 readings1 assignment
Show info about module content
3 readings•Total 21 minutes
Capstone Project•10 minutes
Before You Go•1 minute
Next Steps•10 minutes
1 assignment•Total 15 minutes
Final Graded Quiz•15 minutes
Earn a career certificate
Add this credential to your LinkedIn profile, resume, or CV. Share it on social media and in your performance review.
When will I have access to the lectures and assignments?
To access the course materials, assignments and to earn a Certificate, you will need to purchase the Certificate experience when you enroll in a course. You can try a Free Trial instead, or apply for Financial Aid. The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.
What will I get if I subscribe to this Specialization?
When you enroll in the course, you get access to all of the courses in the Specialization, and you earn a certificate when you complete the work. Your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile.
Is financial aid available?
Yes. In select learning programs, you can apply for financial aid or a scholarship if you can’t afford the enrollment fee. If fin aid or scholarship is available for your learning program selection, you’ll find a link to apply on the description page.