2 projects
claimbound-evidence
Evidence cards for narrow public AI, ML and data claims: frozen protocol, hashed sources, honest result status.
monte-neo
Independent verifier for trading strategies written by AI agents and humans: look-ahead probes, fee-aware economics, Deflated Sharpe, signed certificates, MCP server