Limma provides a verification runtime for autonomous AI agents
Limma provides a verification runtime for autonomous AI agents. It extracts typed facts from heterogeneous sources, verifies them across sources, and attaches evidence chains and signed contracts to consequential actions so agents can proceed, hold, or refuse safely.