» Tag
verification
28 postsNoWreck: A Deterministic Verifier for AI Coding Assistants
NoWreck verifies changes made by AI coding assistants. It detects discrepancies using static analysis.
Your Coding Agent Says It's Done. Who Verified It?
VichuFlow is an open-source project aimed at enhancing the reliability of coding agents.
Hollow-LLM Attack: Ghost Weights That Fool Zero-Knowledge LLM Verification
The Hollow-LLM attack examines the impact of ghost weights on zero-knowledge verification.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.comIndependence You Can't Prove — So Price It
Independence cannot be proven; therefore, it should be priced. The verification process for each probe is crucial.
Static Verifier for OpenCode to Prevent Unsafe AI Tool Calls
A static verifier for OpenCode that prevents unsafe AI tool calls has been developed.
OpenBase – A Flight Recorder for AI Agents
OpenBase standardizes AI agent execution evidence, enhancing trust and verification.
Enhance DeepSeek Harness with LLM-as-a-Verifier Plugin
The LLM verifier plugin for DeepSeek Harness grades candidate solutions and returns the best one.
Testing Real-Time Verification of LLM Cache Hits: A Weak Yes
Results of an empirical study on real-time verification of LLM cache hits.