Pinned Loading

1. chaoslabs chaoslabs Public

   ChaosLabs is a platform that allows developers and SREs to simulate failures, inject faults, and monitor the behavior of distributed systems in real time.

   Go 6

2. leanverifier leanverifier Public

   Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.

   Lean 83 5

3. LabTrust-Gym LabTrust-Gym Public

   A multi-agent environment (PettingZoo/Gym) for hospital lab automation, with a reference trust skeleton.

   Python 2

4. scientific-memory scientific-memory Public

   Buildable, machine-checkable scientific knowledge.

   Python 2

5. open-verification-kernel open-verification-kernel Public

   Open Verification Kernel (OVK) is an open-source, solver-agnostic verification layer for AI-agent engineering workflows.

   Python 1

6. open-jarvis/OpenJarvis open-jarvis/OpenJarvis Public

   Personal AI, On Personal Devices

   Python 7.9k 1.8k