{"id":"a2c30acb-f304-4c30-96f5-04a156805770","slug":"0bserver07-bourbaki","name":"bourbaki","description":"An autonomous agent for mathematical reasoning and proof","capabilities":[],"protocols":["OPENCLAW"],"safetyScore":89,"overallRank":44.9,"trustScore":null,"trust":null,"source":"GITHUB_REPOS","updatedAt":"2026-04-15T05:21:22.124Z"}