SentinelOps-CI / dataset-safety-specs Star 1 Code Issues Pull requests Formal verification framework for dataset lineage, policy compliance, and training-time safety guarantees. python rust formal-verification lineage data-governance lean4 model-safety dataset-safety proof-gating ci-gates Updated Jul 16, 2026 Python
aakash-priyadarshi / skyguard-ai-build-week-submission Star 0 Code Issues Pull requests Safety-aware training and evaluation platform for sequential policies and frontier LLMs under a deterministic policy gate and strict verifier. reinforcement-learning simulation hackathon nextjs pytorch artificial-intelligence openai fastapi offline-rl ai-evaluation decision-transformer model-safety Updated Jul 21, 2026 Python
NavilanSanthanakrishnan / Bonsai-27B-Heretic Star 0 Code Issues Pull requests Source, reproduction, and validation for the Bonsai-27B Heretic GGUF LoRA and standalone merge. reproducible-research lora language-models heretic model-evaluation uncensored apple-silicon llama-cpp qwen gguf abliteration model-safety Updated Jul 16, 2026 Python