MAREF Blog — Agent Governance Thoughts on agent governance, multi-agent security, formal verification, and building trustworthy AI systems. https://maref.cc/en/blog en Tue, 16 Jun 2026 00:00:00 GMT <![CDATA[Not 'Tested.' Proved. — Why MAREF Uses TLA+ Formal Verification]]> https://maref.cc/en/blog/tla-plus-formal-verification https://maref.cc/en/blog/tla-plus-formal-verification Tue, 16 Jun 2026 00:00:00 GMT MAREF Engineering <![CDATA[OWASP Agentic Top 10: How MAREF Covers All 10 Critical Risks]]> https://maref.cc/en/blog/owasp-agentic-top-10 https://maref.cc/en/blog/owasp-agentic-top-10 Tue, 16 Jun 2026 00:00:00 GMT MAREF Engineering <![CDATA[88% of Companies Already Had an AI Agent Incident — 7 Numbers That Explain the Crisis]]> https://maref.cc/en/blog/88-percent-incidents https://maref.cc/en/blog/88-percent-incidents Sat, 13 Jun 2026 00:00:00 GMT MAREF Engineering <![CDATA[GitHub Is Becoming a Giant AI Code Dump]]> https://maref.cc/en/blog/vibe-coding-crisis https://maref.cc/en/blog/vibe-coding-crisis Sat, 13 Jun 2026 00:00:00 GMT MAREF Engineering <![CDATA[Why Agent Governance Matters in 2026]]> https://maref.cc/en/blog/why-agent-governance-matters-2026 https://maref.cc/en/blog/why-agent-governance-matters-2026 Sat, 13 Jun 2026 00:00:00 GMT MAREF Engineering