The independent security agent for AI-written software. Finds issues, investigates whether they are real, and shows you the evidence. Deterministic core, no API key needed, JSON and SARIF output.
~97% token reduction for AI coding sessions — zero deps, 38 languages, MCP server
🌈 Deterministic tints and shades from a given hex color.
Open-source, Git-native memory for AI coding agents — deterministic local recall for Claude Code, Codex, Cursor, Gemini CLI, and compatible tools.
Production pipeline and Claude Code skill for Vocaloid-style hand-drawn (手書き) lyric music videos: deterministic Canvas2D/WebGL2 animation engine, JIZURA lyric motion, AI illustration, Blender toon 3D, headless rendering to 16:9 and 9:16.
The deterministic tax engine for AI agents. Highest score ever recorded on TaxCalcBench (96% exact returns)
Generative art skill for Claude Code — deterministic, hash-seeded, onchain-ready
Local-first, resumable AI maintenance pipelines with single-writer safety and deterministic verification.
Experimental deterministic rendering toolkit for HyperFrames video delivery
面向 AI Coding Agent 的任务感知工作区上下文检索与生命周期追踪:按当前任务找到、组织并持续追踪最相关的文档、代码与媒体。纯本地、零模型调用、零网络。 Task-aware workspace context retrieval and lifecycle tracking for AI coding agents. Find, organize, and track the workspace context most relevant to the task at hand — locally, deterministically, zero model calls, zero network.
Scientific writing & document integrity guard for AI-assisted research — argument economy, deterministic integrity, safe Word editing. Local · Deterministic · Zero LLM.
Deterministically annotate benign non-zero bash/pwsh exit codes in DeepSeek Harness (grep 1 = no match, git diff --exit-code = differences, test/which/jq -e) so models stop over-investigating normal results.
Benchmark coding agents and agent harnesses on 226 deterministic file-editing tasks with byte-exact verification and a public leaderboard.
Deterministic, private-by-default skill routing before the main LLM runs. Built by VEDAXI.
Verification labs for Quantova consensus over the gateway, post quantum signature checks and deterministic slot leadership, evidence not a substitute for audit