The open-source safety layer for AI agents — block unsafe tool calls, require approval, enforce budgets, audit, replay.
Repository Index
47,133 repositories indexed
73–91 of 91 · Most stars
Trust metadata for AI agents — a stamp costs ~15 tokens, re-verifying costs 15,000. Agents stamp what they verify; the next agent runs 'akf check' and builds on it. pip install akf
Security oriented helper functions for Elixir
📏 Dimension based safety in elixir
- elixir
- conversion
- types
Prompt-injection firewall for LLM applications — 33 input detectors, 9 output scanners, federated ed25519-signed threat-intel feed. Apache 2.0, 1040 tests, F1 96.0% with 0% false positives. Docker, GitHub Action, LangChain/LlamaIndex/CrewAI integrations.
- agentic-ai
- ai-safety
- fastapi
- langchain
Give the agent a cage, not your keys. One-command Docker sandbox for AI coding agents: full autonomous permissions, per-project isolation, your host stays untouched.
Next-generation HTTP router for Go 1.27+ with type-safe handlers, RFC 9457 errors, and built-in OpenAPI generation. Minimal dependencies, blazing performance.
- generics
- go
- golang
- http-router
Pre-execution safety analysis for MySQL DDL/DML operations.
- ddl
- mysql
- aws-rds-aurora-mysql
- aws-rds-mysql
Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
Type-safe HTML template rendering engine for Go with generics, compile-time validation and go-generate support
- code-generator
- compile-time
- developer-tools
- generics
Type-safe async MQTT client for Rust. Topics as types, automatic routing and (de)serialization on top of rumqttc.
Prototype of an intelligent safety system for detecting driver drowsiness
- cpp
- cuda
- cudnn
- driver-drowsiness-detector
3-level override system for Claude Code - prevents destructive system operations. Born from a real incident.
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
PostgreSQL migration linter. Blocks unsafe migrations before merge: 112 rules, the real Postgres parser, lock analysis, auto-fix. CLI, GitHub Action, MCP.
Tamper-evident audit log for Go: an append-only, hash-chained, optionally Ed25519-signed log/slog handler, with offline logx verify. Built on the standard library, zero third-party dependencies. Also a full slog toolkit (colored output, JSON, rotation, fan-out, CLI).
- cli
- go
- golang
- slog
Yet another golang type safe object pool using generics
- go
- golang
- object-pool
- type-safety
This Maven plugin automatically generates package-info.java files with JSpecify annotations (@NullMarked or @NullUnmarked), helping you manage nullness boundaries in your Java projects without manual boilerplate.
- generator
- java
- jspecify
- maven-plugin
Safety-first PostgreSQL migration engine for Node.js — advisory locks, drift detection, checksum verification, 10 lint rules, CLI, and GitHub Action