Python CLI and agent plugin that audits whether an AI agent does the job it is supposed to do, using adversarial and operational tests.
Free YouTube views booster and channel growth tool. Increase video views, watch time and engagement with smart delivery system. Easy to use, fully configurable, safe mode included.
[NeurIPS 2026] Safety failures in coding agents and frontier LLMs. Reproducible workspaces for studying when AI agents generate unsafe data during task completion.
Red-teaming and evaluation framework for AI agents, built around an OWASP-inspired ASI01–ASI10 taxonomy
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.
AgenticX is a unified, production-ready multi-agent platform — Python SDK + CLI (agx) + Studio server + Machi desktop app. Features Meta-Agent orchestration, 15+ LLM providers, MCP Hub, hierarchical memory, avatar & group chat, skill ecosystem, safety sandbox, and IM gateway (Feishu/WeChat).
An autonomous agent that conducts deep research on any data using any LLM providers
Open-source AI Trading OS, agent trading, and vibe trading, with Jev System One integration. Research, build Python strategies, backtest, and paper/live trade across crypto, stocks, and forex. Launch your own multi-tenant trading SaaS with built-in user management, billing, payments, and settlement.
Tonkeeper Fake Balance — TON wallet balance spoofing tool with real-time overlay for Tonkeeper mobile & desktop, custom TON & Jetton balance injection, transaction history forging, and screenshot-safe persistent display
全网最全的 AI 破甲合集:一个仓库破甲所有模型。收录 1733 个上游破甲项目,9 条可一键安装的破甲卡覆盖 GPT/Claude/Gemini/DeepSeek/GLM/Kimi/Grok/Qwen 与本地模型,内置 llms.txt 让 Claude Code/Codex/Cursor 自己装 有用的话可以点个收藏星星,会持续收录
See where your disk space went — and understand what is safe to delete. GTK 4 app for Ubuntu and systemd distros.
Open-source paper-trading research app integrating TypeSafe Jev, animated 3D model pets, and a safe offline demo.
白箱AGI架构探索:元认知(自我认知循环)、持续学习(知识飞轮)、世界模型(条件空间+语义时空图)、自我改进(自举纪律)、零LLM白箱管线与可审计信任护栏。
FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.
A full-stack AI Red Teaming platform securing AI ecosystems via Agent Scan, Skills Scan, MCP scan, AI Infra scan and LLM jailbreak evaluation.
Romanian and Ukrainian child-safety structured-check toolkit and synthetic research records
Durable evidence-first LangGraph workflow for policy-cited pricing, human approval, and safe Shopify draft delivery.
A clinical decision-evidence benchmark: pull the one fact an answer rests on, and see whether the assistant's action moves with the evidence. Built on HealthBench.
Awesome Jev — evidence-graded index of TypeSafe System One: SDKs, MCP tools, agents, apps and open models. 20 languages, rebuilt every 2 hours.
NeMo Guardrails is an open-source toolkit for easily adding programmable guardrails to LLM-based conversational systems.
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.
Humanity's Last Exam
TypeLLM: LLMs with type-safe generation
Use MCP and OpenAPI to safely control Proxmox VE VMs, LXCs, backups, and snapshots from LLMs and AI agents.
get things from one computer to another, safely
Python and TypeScript SDKs for verifiable evidence of AI agent actions. Signed receipts, policy enforcement, audit trails. Works with LangChain, CrewAI, MCP.
Curated DNS blocklist for LG webOS TV telemetry, ads and phone-home traffic (safe + strict tiers)
WeeLLM runs large diffusion models with as little as 4 GB of VRAM, without any quantization. It dynamically determines how many layers can fit within the available VRAM and streams the text encoder and transformer layers to the GPU layer by layer, enabling inference on hardware with limited VRAM. It supports both safetensors and GGUF models.
OpenDecision is an open-source semantic decision engine like typesafe's jev.
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.
Semantic ifs from open models, on a 3090 at home. Independent; not affiliated with Jev or TypeSafe.
DeepTeam is a framework to red team LLMs and AI agents.
A curated list of public projects, integrations, and discussions built on Jev — TypeSafe AI's System One model for typed decisions.
⏰ Type-safe datetimes for Python that get DST right. Rust or pure Python, your choice.
Keep your email safe from hackers and trackers. Make an email alias with 1 click, and keep your address to yourself.
Make AI coding agents architecture-aware: baseline-first, evidence-verified, drift-checked, and safe across long tasks.
Managed Claude Code instruction deployment with safe CLI recovery and an unsigned macOS/Windows desktop beta.
🤖 AI-Powered MCP Server for Polymarket - Enable Claude to trade prediction markets with 45 tools, real-time monitoring, and enterprise-grade safety features
A curated list of decision models (System One / typed decision models): hosted APIs, open-weight models, runtimes, SDKs, applications, benchmarks, and papers.
1207 public resources for Jev, TypeSafe AI's System One decision model, indexed by decision pattern. Source citations, dated link checks and scheduled call-site text checks; runtime and performance are not independently tested here. EN/中文, JSON schema and platform compatibility.
An evidence-led, eight-locale LLM playbook: a transferable core, the Codex flagship track, and adapters for ChatGPT, Claude Code, Gemini, DeepSeek, and Grok.
A self-hosted drop-in replacement for TypeSafe's jev, powered by GliFormer.
Camera-only autonomous drone in MuJoCo with a small judgment model (TypeSafe Jev) in the loop at 2.5Hz
JevK5: open-weight alternative to TypeSafe Jev. Typed decisions with probabilities in one forward pass; Apache-2.0 weights and code.
RISE: Red-teaming via Iterative Strategy Evolution (NeurIPS 2026)
an open-source, from-first-principles reconstruction of the ideas behind TypeSafe AI's Jev, written in pytorch
Curated Jev resources and runnable examples for typed AI decisions.
A self-hosted API and web interface for Laya’s structured decision models, compatible with the TypeSafe Jev API format.
Trace changed experiment results to the numbers, claims and figures in your LaTeX paper. Offline bilingual review, safe numeric patches and read-only MCP tools.
Fast, cheap, typed decisions for Claude Code. Jev (TypeSafe's decision model on OpenRouter) sorts, checks, scores, gates and verifies at 0.3s and a fraction of a cent per item. Claude keeps the reading, writing and judgment.
Safety-critical longitudinal planning: from DP+QP+PID to DP+augmented-state MPC with safety constraint formulation with RSS model and iLQR solver.
NavSafe-∞: Benchmarking Closed-Loop Driving Safety in Photorealistic Environments
Dohnuts builds small multimodal models for direct decisions. -> System One model
An Adversarial Co-Evolution Framework for LLM Agent Safety
Typed, confidence-aware agent skill routing with TypeSafe Jev.
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.
Take potentially dangerous PDFs, office documents, or images and convert them to safe PDFs
Make your functions return something meaningful, typed, and safe!
Stop configuring your AI stack. Start using it. One command brings a complete pre-wired LLM stack with hundreds of services to explore.
A generator library for concise, unambiguous and URL-safe UUIDs.