AgentPMT Development Update — April 4, 2026

Here's what we shipped today.

New Features

• Added real-time task tracking for proof compilation jobs, allowing you to monitor progress on long-running formal verification builds

Updates

• Improved formal verification build performance with persistent caching, reducing cold start times
• Stabilized the proof export pipeline with better queueing and progress monitoring for C, Rust, and WebAssembly output
• Reduced external dependencies for a leaner formal verification service
• Strengthened service authentication and error reporting for proof compilation

Bug Fixes

• Fixed an issue where long-running proof compilation jobs could time out before completing