📈 GH Trending Explorer 🎲 Surprise me

Search: verifiable · Language: Go · clear

pipelab-org / pipelock

Open-source AI agent firewall for MCP security and agent egress. Scans mediated HTTP, MCP, A2A, and WebSocket traffic for exfiltration, SSRF, and prompt injection, and emits mediator-signed action receipts: verifiable audit evidence from outside the agent.

▲ ~35/7d ★ 951 Go today
google / trillian

A transparent, highly scalable and cryptographically verifiable data store.

▲ ~0/7d ★ 3.8k Go 20d ago
Coder-s-OG-s / Trajectory-IR

Portable, hash-verifiable intermediate representation for agent execution trajectories (seals, effects, .tir packages) on top of durable backends like Temporal and DBOS.