Topic

Verification

4 items across the graph — tagged with Verification.

From the graph · 4

repo
aallan/vera

Vera: a programming language designed for LLMs to write

→repo
midspiral/LemmaScript

verification toolchain for TypeScript (Tech Preview)

→repo
zoharbabin/web-researcher-mcp

The AI research assistant that cites real sources honestly — and searches the web. Your AI research assistant that cites real sources and stays honest. Works wi…

→repo
sruja-ai/sruja

A CLI-first autonomous coding agent where the actor never grades itself. Every edit is grounded in your repo's real topology and verified by an independent dete…

→

Related topics

ai 3llm 2verification 2dafny 1algebraic-effects 1citation-verification 1claude-desktop 1cli 1code-quality 1architecture 1cursor 1formal-verification 1
Search Verification →All topics →