Local permission intelligence for coding agents. Pi, OpenCode, Hermes. CPU, CUDA, MPS, ROCm.
-
Updated
Sep 16, 2026 - Python
#
model-safety
Here are 5 public repositories matching this topic...
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
v0.2.0: --battery now accepts YAML file paths as its help promised (unknown names and malformed scenarios fail with friendly errors, not tracebacks); the scope oracle is traversal-safe for file targets; reports can be written to disk via --out md|json --file. Version lockstep + CHANGELOG included.
-
Updated
Sep 9, 2026 - Python
reproducible-research lora language-models heretic model-evaluation uncensored apple-silicon llama-cpp qwen gguf abliteration model-safety
-
Updated
Jul 16, 2026 - Python
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
Add this topic to your repo
To associate your repository with the model-safety topic, visit your repo's landing page and select "manage topics."