# Lamport Agent

> Entity coverage from Web Pulse
> Last updated: 2026-05-25T04:20:28.488403+00:00
> 1 articles mentioning **Lamport Agent**

- [Lamport Agent - AI-assisted Formal Specification](https://wpnews.pro/news/lamport-agent-ai-assisted-formal-specification) — 2025-11-14