Formal Provider behaviour, ABI specifications, shared structs, and contract test suites for Crucible model and robotics providers.
behavior machine-learning elixir robotics simulation beam specification abi agents crucible ai-safety mox formal-specification world-models testing-suite contract-tests nshkr-crucible north-shore-ai provider-contracts safety-shield
-
Updated
May 30, 2026 - Elixir