QuantaOptimaSecurityAI & Machine Learningjdhart81AlicenseAqualityAmaintenanceMCP server that provides cryptographic audit trails for AI agent actions, making every action tamper-evident via HMAC-SHA256 signed hash chains. Updated 3 days ago (2026-11-01 20:58 UTC)10Apache 2.0
logospherejdhart81Alicense-Not gradedqualityBmaintenanceProvides an MCP server for building inspectable reasoning graphs, capturing arguments and evidence, and verifying conditional conclusions using Lean. Updated 2 days ago (2026-11-03 04:39 UTC)Apache 2.0