Type-checked guardrails for AI agents. Policies are encoded in Lean 4, every tool call is checked against them by a proof kernel, and every verdict is signed. The SDK is in private beta with a small group of teams.
Read the paper · About · Careers · dev@bijectai.com
This site needs JavaScript enabled to display in full.