» Tag
verification
36 postsStatic 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.
AI Agents Are Now Emailing Me with Their Security Concerns
An AI agent emailed about security issues, revealing important insights for engineers.
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.comHow One Programming Language Rewrote Mathematics and Why Software Is Next
Lean programming language is revolutionizing mathematics and set to transform software 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.