provenance — independent software & tools
-
nahuali
Self-inspecting, auditable memory for AI agents: it surfaces the evidence, provenance, and health behind each recall so callers can see which memory to trust. Optional Ed25519-signed tamper-evident ledger. Local-first, Rust.
-
proofpress
Proofpress is the artifact provenance and handoff layer for multiplayer AI. It makes what was accepted, rejected, changed, and why travel with the artifact itself—so handoffs preserve context and trust.
-
cogo
COGO — la memoria con semáforo de confianza para construir software con IA. Suite Escriba.
-
rekon
A codebase intelligence substrate for architecture-aware agents, repository governance, and explainable software context.
-
DeepSeek_Science
Rust-first Science Agent Kernel for reproducible, auditable, cache-aware STEM workflows.
-
Mirofy
Repository diagrams that cite their sources. Every edge names the file, line and commit it came from — and every file it could not read is listed by name. Six languages, zero dependencies, one self-contained HTML file.
-
targate
AI-assisted pre-install security gate for npm packages — analyze, decide, and gate a dependency before it runs.
-
covenant
A capability-based operating layer for long-running autonomous software engineering agents. Rust daemon, signed capabilities, append-only audit, drift-aware memory, fail-closed sandbox dispatch, commit-scoped provenance.
-
sourced
Sourced — the corroboration primitive. Confirmed by sources, never 'true'. Cryptographic provenance & trust engine.
-
Veracium
Provenance-aware memory for AI agents.
-
aurora-cloudbank-symbolic
Secure symbolic memory vault for Aurora runtime, seeds, and exports
-
workcell
Bounded local runtime and policy boundary for coding agents
-
UST-Protocol
RSS for state. Open portable evidence layer for machine state - preserving what an agent or system saw, produced, derived and learned, so another party or future agent can verify the lineage independently.
-
agent_governor
Governed runtime for AI coding agents. Claims require evidence, decisions produce receipts, and every action goes through the ledger.