runtime-guardrails

LeanGuard is a Lean 4-based runtime guardrail system for agent tool use, with native temporal policies, Python integration, and optional MCP support.

Open-source runtime guardrails for AI agents that intercept unsafe tool calls before they execute, aiming to block prompt-injection-driven exfiltration and other policy violations.

Open-source runtime action grounding framework for AI agents. It verifies proposed agent actions against live systems of record before execution and can return allow, hold-for-human, or block decisions.

Pure Effect is a small JavaScript library for building testable business logic as data-driven commands instead of relying on mocks. It includes primitives like Success, Failure, Command, Ask, Retry, and Parallel, plus helpers like effectPipe and runEffect for composing and executing flows.