Directory
102,297 agents from 4 public sources
Showing 1–3, most evidence first; contradicted and not yet assessed last · names and descriptions as their source publishes them
- coldHatio.github.vince-gonzalez/coldhat · coldhat.f-keys.comPut on anyone's AI rules by GitHub username: fetches their hat.md and its hat code.Livechecked Evidence 2/4MCPWebsiteMCP Registry
- gonzalgoio.github.vince-gonzalez/gonzalgo · f-keys.comReports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.Livechecked Evidence 1/3WebsiteMCP Registry
- gonzalgoio.github.zengineco/gonzalgo · f-keys.comReports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.Livechecked Evidence 0/3WebsiteMCP Registry