Lean Info vs multi-agent-trust-verifier

Bridges Lean 4 proof assistant InfoView data to external tools for real-time goal states, diagnostics, and proof context.

The #1 ranked OWASP ASI01 risk is Agent Goal Hijack — when an agent gets manipulated into doing something it was never hired to do. This service is your external policy engine. It compares every proposed action against the agent's original goal, enforces spend limits, detects goal drift, and blocks

MCP Servers

MCP Servers

—

—

—

—

—

—

—

—

—

—

52

0