A stream-based runtime-verification framework for generating hard real-time C code.
Generator of runtime monitors for flight and robotics applications.
The runtime monitoring tool for smart contracts business logic.
Runtime safety net for LLM agents. Detects token spirals, kills doomed tasks early, tells you exactly why. Rust core, Python SDK. pip install state-harness
Accountable Autonomy: open-source evidence layer that gates every AI agent tool call against your policy and writes a hash-chained record an auditor verifies offline, without trusting you. Root-agnostic; binds to TPM 2.0 / SEV-SNP when present. Your environment, no SaaS, no telemetry. AGPL-3.0.
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
A runtime monitoring tool that produces explanations as verdicts
The main VAMOS repository
Runtime dependency-behavior monitor for Node.js. Two engines: in-process telemetry + an out-of-process (strace) trust boundary that sees native egress & persistence. Defense-in-depth for npm supply-chain attacks — SARIF, GitHub Action, zero deps.
AI security toolkit for prompt injection detection, sensitive data protection, runtime monitoring, and threat intelligence for LLM and agent workflows.
Local-first macOS intelligence for AI Agents: MCP and Skill discovery, process attribution, FSEvents, network destinations, Session Graphs, and local evidence.
Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.
TestPilot is a production-grade Chrome extension that captures crashes, console errors, network failures, security risks, slow APIs, retry storms, and broken resources before users report them. Built with Preact + TypeScript + Vite.
Deterministic runtime monitoring for safety-critical ML. Hash-chained audit ledger, drift detection (TV/JSD/PSI), COE policy enforcement, and tamper-evident logging. 253 tests passing.
Leakage-controlled experiments for policy-conditioned normative world models and runtime telemetry
AI runtime control layer for enforcing spend, tool, and execution policy in production AI apps.
DDOM: Data Driven Online Monitoring framework for monitoring human detection models. The repo is a ROS Package.
SHReC: Self-Healing Runtime Control SIL prototype for autonomous vehicles. Implements runtime monitoring, safety envelopes, and transactional hot-swapping.
Simulation research on neural aircraft recovery, concurrent failures, bounded runtime assurance, and Z3 verification.
Runtime security monitor for LLM agents. Wraps any OpenAI-compatible client to detect prompt injection, exfiltration, and excessive agency in real time.
Add a description, image, and links to the runtime-monitoring topic page so that developers can more easily learn about it.
To associate your repository with the runtime-monitoring topic, visit your repo's landing page and select "manage topics."