trust-boundary

trust

Rust

73

TRUST – Coding Rust like it's 1989

verified-3d-mesh-intersection

Lean

68

Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

deja-vu

Go

77

Your agents already solved this. deja finds it — memory operations for fifteen coding agents: retroactive search and MCP recall (84.9% R@1 on LongMemEval-S, no LLM), trust scopes, curated notes with tags and lifecycle states, measured impact. One zero-dep binary, fully local.

Tracearr

TypeScript

87

Real-time monitoring for Plex, Jellyfin, and Emby servers. Track streams, analyze playback, and detect account sharing from a single dashboard.