Module 13 · Modules 10–17

Verification before trust

Every agent output is a hypothesis until checked.

13

Every agent output is a hypothesis until checked. Verification is the structural commitment that makes agentic engineering trustworthy rather than merely fast.

Verification is a category rather than a single technique. It includes tests, type checks, linters, manual review, and acceptance gates, each catching different failure modes. The principle behind all of them is the same: no agent output enters the project without passing through a defined gate.

Three failure modes make verification harder than it sounds. Agents write tests that confirm their own implementation rather than probing the specification’s intent. Verification theatre installs gates that exist but catch nothing. Gate bypass happens under deadline pressure. The MRP (Merge-Readiness Pack) is a structured verification framework, developed fully in Module 16.

Mikael Alemu Gorsky

Mikael Alemu Gorsky is an educator and researcher, and the author of two programs: Agentic Software Engineering, on building software with AI agents, and Building Cognified Systems, on building software that thinks.

He teaches at the Holon Institute of Technology, near Tel Aviv, where Agentic Software Engineering runs as a graded course. He is an educator and researcher.

Nine published works, 100+ citations. A 350-page textbook under contract with a major academic publisher.

Teaching and programs

Agentic Software Engineering — program, preprint and textbook

The discipline of structured, auditable human-agent workflows for building software. The human frames, specifies and judges. The agent executes. Nineteen modules in four parts, built on a running project called Tribunal, a web application in which agents argue opposing sides of a case and a judge agent decides. Taught for credit at the Holon Institute of Technology.

Agentic Software Engineering curriculum

Building Cognified Systems — program, paper and book in writing

How to build systems that hold a language model as a working component, and treat that component as what it is: stochastic, slow and metered. Fourteen modules in four parts, about seventy hours. The running project is the Observatory, a news agency that watches sources, selects what matters and publishes on a cadence.

Research and analytics

Publications — journals and proceedings

Nine works, 100+ citations. Research on artificial intelligence in education, with Ilya Levin and Alexei Semenov.

The AI Pravda — LinkedIn newsletter

Critical analysis of artificial intelligence and its effect on work and society. 5,500+ subscribers. The complete archive of 103 issues (2023–2026) is published in full at mgorsky.net/theaipravda.

Subscribe to The AI Pravda on LinkedIn

Pro bono

AI for seniors — free workshop

Helping older adults use everyday AI tools. Delivered to Russian-speaking communities in Israel.

For older adults, artificial intelligence is about preserving quality of life, maintaining autonomy, and sustaining the feeling of independence that defines dignified aging. For seniors who have emigrated, AI becomes a bridge: it can translate documents, explain official letters, help compose emails in the local language, and guide users through government websites. The workshop has been delivered to Russian-speaking communities in Israel, where participants — many of them in their 70s and 80s — discovered that AI could help them read Hebrew documents and communicate with Israeli institutions.

Startup competitions — unpaid time

Judging and mentoring early-stage ventures. Helping teams clarify their value proposition, assess technical feasibility, and prepare for the realities of scaling an AI product.

AC/VC LinkedIn group — community

A group for developers and students working with coding agents. The community shares practical insights, code examples, tool comparisons, and honest assessments of what works in production.

Join the AC/VC LinkedIn group

Recent

Important Links