Safe GitHub Repositories (2026) · Open Source Tools

An agent-native web security workspace. Find vulnerabilities through red-teaming. Formally verify properties of Rust codes in Lean 4.

The open-source System One decision model. Sub-15ms, non-autoregressive, local drop-in alternative to TypeSafe Jev.

🚀🚀 A multimodal System One decision model that gives calibrated answers to typed questions about screens, photos, video and text in one forward pass.

A pre-execution guard for AI coding agents. It blocks destructive Git and file system commands, plus common attempts to access sensitive files, before a tool call runs. Supports Amp Code, Antigravity CLI, Claude Code, Codex, Cursor, DeepSeek Harness, Gemini CLI, GitHub Copilot CLI, Grok Build, Hermes Agent, Kimi Code, OpenClaw, OpenCode, and Pi.

A modular and open-ended toolkit for WebGPU, with advanced type inference and the ability to write shaders in TypeScript

Voice control for macOS that acts partway through your sentence, built on Jev (TypeSafe)

🔐 Securely share sensitive information with automatic expiration & deletion after a set number of views or duration. Track who, what and when with full audit logs.

Probabilistic control flow for Ruby and Rails - powered by TypeSafe's Jev

One config to rule all your AI agents: portable (every project, every session), effective (curated writing, routing, skills), and safer (destructive-command guard).

♞ lichess.org: the forever free, adless and open source chess server ♞

A type-safe TypeScript SQL query builder

Typed decisions with TypeSafe's Jev, the first System One model

Centralized agent control plane for governing runtime agent behavior at scale. Configurable, extensible, and production-ready.

Extra strict and opinionated rules for PHPStan

A curated list of decision models (System One / typed decision models): hosted APIs, open-weight models, runtimes, SDKs, applications, benchmarks, and papers.

Safe{Wallet} – smart account wallet

Automate the obvious and investigate the ambiguous. High-performance safety rules engine for real-time event processing at scale.

Apache Maven Surefire

Run coding agents without babysitting them. Keep jobs focused, bounded, checked and accountable from start to finish. Finally run your agents swarms overnight and get your time back.

Distributed C++ services from embedded to enterprise