Local-First

AgentProof is a free, local-first proof harness that verifies AI-generated code and diffs by detecting the project type, running safe local checks, launching the app, crawling routes with Playwright, and scoring launch readiness — all without uploading your source, using an API key, or trusting a cloud vendor. For AI code CI verification, it answers one question the chat transcript never can: did this app actually work, or did it just look good in the transcript? This review covers how AgentProof works, its GitHub Action score gate, its pricing, and how it compares to ProofPack and the broader “proof beats diffs” movement. ...

A knowledge inbox for AI agents and Obsidian is a local-first ingestion pipeline that turns raw inputs — links, PDFs, videos, screenshots, and plain text — into structured Markdown knowledge cards inside your own vault. Instead of dumping every snippet into cloud read-it-later apps, it normalizes all sources through a single pipeline, enriches them with OCR, transcription, and auto-tagging, then stores everything as human-readable files plus a queryable SQLite index. Your AI agents read the same local store your notes live in. ...