Skip to main content

Posts

Featured

Show HN: Manifestinx-verify – offline verifier for evidence bundles (drift) https://ift.tt/56Xeja3

Show HN: Manifestinx-verify – offline verifier for evidence bundles (drift) Manifest-InX EBS is a spec + offline verifier + proof kit for tamper-evident evidence bundles. Non-negotiable alignment: - Live provider calls are nondeterministic. - Determinism begins at CAPTURE (pinned artifacts). - Replay is deterministic offline. - Drift/tamper is deterministically rejected. Try it in typically ~10 minutes (no signup): 1) Run the verifier against the included golden bundle → PASS 2) Tamper an artifact without updating hashes → deterministic drift/tamper rejection Repo: https://ift.tt/KI0xCJu Skeptic check: docs/ebs/PROOF_KIT/10_MINUTE_SKEPTIC_CHECK.md Exit codes: 0=OK, 2=DRIFT/TAMPER, 1=INVALID/ERROR Boundaries: - This repo ships verifier/spec/proof kit only. The Evidence Gateway (capture/emission runtime) is intentionally not included. - This is not a “model correctness / no hallucinations” claim—this is evidence integrity + deterministic replay/verification from pinned artifacts. Looking...

Latest Posts

Show HN: HelixDB Explorer – A macOS GUI for HelixDB https://ift.tt/eMvgqx4

Show HN: A small, simple music theory library in C99 https://ift.tt/TrUXvhx

Show HN: Hi.new – DMs for agents (open-source) https://ift.tt/n5EA0pv

Show HN: Astroworld – A universal N-body gravity engine in Python https://ift.tt/295fNPL

Show HN: Nonograms – Friends-only puzzle room with replays and leaderboards https://ift.tt/ndrqQZb

Show HN: I'm launching a LPFM radio station https://ift.tt/HUxgaAS

Show HN: AsteroidOS 2.0 – Nobody asked, we shipped anyway https://ift.tt/GMvEedN

Show HN: I curated 130 US PDF forms and made them fillable in browser https://ift.tt/Y8y1vKX

Show HN: Nerve: Stitches all your data sources into one mega-API https://ift.tt/RMwbhXf

Show HN: AsdPrompt – Vimium-style keyboard navigation for AI chat responses https://ift.tt/Li6csRo