Independent Auditing of AI Agents. Run by human or the agent itself, to answer the most crucial question in the AI Agent Economy. Is the agent doing what is supposed to do? With iFixAi you can have this answer in less than 120 seconds.
Complete standalone setup for Wise Registrity 2024. Ready-to-run desktop utility with all features pre-activated, ensuring smooth...
Free Instagram view booster for Reels, Stories and Videos. Increase views, reach and engagement with smart delivery system. Easy to use, multiple safety modes, fully configurable.
ๅ จ็ฝๆๅ จ็ AI ็ ด็ฒๅ้๏ผไธไธชไปๅบ็ ด็ฒๆๆๆจกๅใๆถๅฝ 1733 ไธชไธๆธธ็ ด็ฒ้กน็ฎ๏ผ9 ๆกๅฏไธ้ฎๅฎ่ฃ ็็ ด็ฒๅก่ฆ็ GPT/Claude/Gemini/DeepSeek/GLM/Kimi/Grok/Qwen ไธๆฌๅฐๆจกๅ๏ผๅ ็ฝฎ llms.txt ่ฎฉ Claude Code/Codex/Cursor ่ชๅทฑ่ฃ ๆ็จ็่ฏๅฏไปฅ็นไธชๆถ่ๆๆ๏ผไผๆ็ปญๆถๅฝ
LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.
Far Cry 3 Memory Editor Python Script 2026: Modify Health, Money, Ammo and Items
Secure, fast, efficient, battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in multi-language ruleset (NPE, thread-safety, XSS, SQL injection), OpenAI & Anthropic compatible.
The batteries-included full-stack framework for the AI era. Develop JS/TS web apps (React, Node.js, and Prisma) using declarative code that abstracts away complex full-stack features like auth, background jobs, RPC, email sending, end-to-end type safety, single-command deployment, and more.
The financial transactions database designed for mission critical safety and performance.
A suite of WiFi/Bluetooth offensive and defensive tools for the ESP32
jsoup: the Java HTML parser, built for HTML editing, cleaning, scraping, and XSS safety.
Type-safe search params state manager for React frameworks - Like useState, but stored in the URL query string.
OpenCompass is an LLM evaluation platform, supporting a wide range of models from OpenAI, Anthropic, Gemini, Qwen, GLM, DeepSeek, etc, across 100+ datasets covering knowledge, reasoning, coding, science, language, long-context, and safety.
NeMo Guardrails is an open-source toolkit for easily adding programmable guardrails to LLM-based conversational systems.
A full-stack AI Red Teaming platform securing AI ecosystems via Agent Scan, Skills Scan, MCP scan, AI Infra scan and LLM jailbreak evaluation.
AI Agent Governance Toolkit โ Policy enforcement, zero-trust identity, execution sandboxing, and reliability engineering for autonomous AI agents. Covers 10/10 OWASP Agentic Top 10.
The Destructive Command Guard (dcg) is for blocking dangerous git and shell commands from being executed by agents.
A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.
Wrangling Untrusted File Formats Safely
Migrate C code to Rust
๐ก Comprehensive collection of OSINT tools for cybersecurity professionals, researchers, and bug bounty hunters. Topics: information gathering, reverse search, red team, trust & safety, AI.
Safety-first disk cleaner and space analyzer for macOS, Windows and Linux, with duplicate cleanup, app uninstall, startup management, system optimization, and maintenance.
Make your functions return something meaningful, typed, and safe!
Unleashing the real power of Core Data with the elegance and safety of Swift
Type safe SQL builder with code generation and automatic query result data mapping
GoClaw - GoClaw is OpenClaw rebuilt in Go โ with multi-tenant isolation, 5-layer security, and native concurrency. Deploy AI agent teams at scale without compromising on safety.
Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases
pgTyped - Typesafe SQL in TypeScript
100+ installable Claude skills covering Engineering areas such as, ISO 26262 functional safety, ISO/SAE 21434 cybersecurity, ISO 21448 SOTIF, AIAG-VDA quality (APQP/PPAP/FMEA), Automotive SPICE, and continuous improvement tools โ every builder paired with a confirmation reviewer.
๐ 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.
DeepTeam is a framework to red team LLMs and AI agents.
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you donโt have to.
A flexible web framework that promotes stability, safety, security and speed.
sunnypilot is an open source driver assistance system. sunnypilot offers the user a unique driving experience for over 350 supported car makes and models with modified behaviors of driving assist engagements. sunnypilot complies with the safety policy from comma.ai's openpilot as accurately as possible.
Access to Anthropic's safety-first language model APIs in TypeScript
[NeurIPS 2026] Safety failures in coding agents and frontier LLMs. Reproducible workspaces for studying when AI agents generate unsafe data during task completion.
A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Rust newtype with guarantees ๐บ๐ฆ ๐ฆ
Humanity's Last Exam
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, Devin CLI, GitHub Copilot CLI, Grok Build, Hermes Agent, Kimi Code, OpenClaw, OpenCode, and Pi.
Awesome-Jailbreak-on-LLMs is a collection of state-of-the-art, novel, exciting jailbreak methods on LLMs. It contains papers, codes, datasets, evaluations, and analyses.
Source code of Ferrocene, safety-critical Rust toolchain
Bootstraps a fresh Ubuntu VPS into a complete multi-agent AI development environment in 30 minutes: coding agents, session management, safety tools, and coordination infrastructure
Safety News & Research Monitor. https://aisafetyhot.com
Self-hosted LLM router with a managed safety net. OpenAI-compatible. BYOK. Single-workspace. Streaming. For more advanced routing choose hosted OrcaRouter
The Domain-Correct Quantities and Units Library for C++ โ full quantity kind safety, ISO 80000 compliant, C++29 standardization candidate.
ไฟๆคไฝ ็ๆต่งๅจๆ็บน | Protect Your Browser Fingerprints | Chrome, Edge, Firefox | ๆฉๅฑ / Extension
Validation library with type-safe schemas and rules
Placeholder APK to permanently block Google SafetyCore installation and updates
Trust & Safety tools for working together to fight digital harms.
โ Latte: the safest & truly intuitive templates for PHP. Engine for those who want the most secure PHP sites.
A reactive Python kernel for Jupyter notebooks.
Access to Anthropic's safety-first language model APIs via Go
๐ Simple showcases of java concurrency problems, seeing ๐ is believing ๐ต
[JMLR 2026] UQLM: A Python package for LLM hallucination detection using uncertainty quantification
Evidence-backed use cases, prompts, integrations, evaluations, and safety notes for OpenAI GPT-6 Astra.
Interpreted language focused on expressiveness and type safety.
Ai safety research showing a working bypass to Google's synthid on Nano Banana Pro
The operating layer for Claude Code + OpenAI Codex: persistent project memory, intent routing, safety hooks, cost telemetry, and parallel agent fleets.