github.com/rocq-prover/rocq

commit signals (23)

• AiCoAuthor
  Tool: claude-codeCommit: cf2b0f6e8c3e43d49a51cbc9ae0707088b065882Authored: 2 months ago (Thu, 2 Apr 2026 20:57:16 +0000)Match: Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: ed6b98ca3384c801fdf5717e811b6d69cc4d608dAuthored: 2 months ago (Thu, 26 Mar 2026 17:08:52 +0000)Match: Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: e26b6c008091f02abfc21294464428d8b275348aAuthored: 2 months ago (Thu, 26 Mar 2026 14:20:32 +0000)Match: Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: c251e86624bb314391216b96fb1696eb16db3b6fAuthored: 2 months ago (Thu, 26 Mar 2026 14:11:53 +0000)Match: Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: c309b707d4d287e3c764a4f8e269e9af2a822c53Authored: 2 months ago (Thu, 26 Mar 2026 14:11:53 +0000)Match: Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: 20557b9555cdf02622b8efef7f387193f536ba19Authored: 2 months ago (Thu, 26 Mar 2026 14:07:10 +0000)Match: Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: 9e4524b5329396892291f23eb80402b9a512c222Authored: 2 months ago (Thu, 26 Mar 2026 10:55:02 +0000)Match: Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: 74ef59d6e65943ef3fca316272f2d7158a81c2ecAuthored: 2 months ago (Wed, 18 Mar 2026 14:37:39 +0000)Match: Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: 9390c86ea9879239c55cc5e5f10579117f1ebc8bAuthored: 2 months ago (Wed, 18 Mar 2026 13:09:40 +0000)Match: Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: c97a064f3457c711373db54dbdf69b79d1c3d99bAuthored: 3 months ago (Sun, 8 Mar 2026 15:48:29 +0000)Match: Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: d66f6ec731e3c196f5f4f2c454e88d5c037d728dAuthored: 3 months ago (Tue, 3 Mar 2026 16:56:33 +0000)Match: Co-authored-by: Claude <claude@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: ee2fb1359d80f02aef44e83ba58313c03e37884fAuthored: 3 months ago (Wed, 25 Feb 2026 15:34:06 +0000)Match: Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
• AiAuthor
  Tool: github-copilotCommit: a9808354d2e0604de8b8fca127f31a98fa51bca4Authored: 4 months ago (Thu, 15 Jan 2026 19:07:25 +0000)Match: copilot-swe-agent[bot]
• AiGenerationPhrase
  Tool: claude-codeCommit: a9808354d2e0604de8b8fca127f31a98fa51bca4Authored: 4 months ago (Thu, 15 Jan 2026 19:07:25 +0000)Match: Generated with [Claude Code]
• AiCoAuthor
  Tool: claude-codeCommit: a9808354d2e0604de8b8fca127f31a98fa51bca4Authored: 4 months ago (Thu, 15 Jan 2026 19:07:25 +0000)Match: Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
• AiGenerationPhrase
  Tool: claude-codeCommit: 59e60897e0db72fccaa12ea304b02392b413e44fAuthored: 5 months ago (Thu, 8 Jan 2026 07:18:30 +0000)Match: Generated with [Claude Code]
• AiCoAuthor
  Tool: claude-codeCommit: 59e60897e0db72fccaa12ea304b02392b413e44fAuthored: 5 months ago (Thu, 8 Jan 2026 07:18:30 +0000)Match: Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
• AiGenerationPhrase
  Tool: claude-codeCommit: 050dcd54e1d31a0eb891458597b4cc4db7facf2bAuthored: 5 months ago (Tue, 6 Jan 2026 20:44:19 +0000)Match: Generated with [Claude Code]
• AiCoAuthor
  Tool: claude-codeCommit: 050dcd54e1d31a0eb891458597b4cc4db7facf2bAuthored: 5 months ago (Tue, 6 Jan 2026 20:44:19 +0000)Match: Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
• AiGenerationPhrase
  Tool: claude-codeCommit: 592c860418f3ca4ae2505719b382c9486b68d594Authored: 5 months ago (Mon, 5 Jan 2026 23:04:16 +0000)Match: Generated with [Claude Code]
• AiCoAuthor
  Tool: claude-codeCommit: 592c860418f3ca4ae2505719b382c9486b68d594Authored: 5 months ago (Mon, 5 Jan 2026 23:04:16 +0000)Match: Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
• AiAuthor
  Tool: github-copilotCommit: 693577ea9453a979eddef053a8e2b42937b2322dAuthored: 5 months ago (Fri, 19 Dec 2025 23:14:11 +0000)Match: copilot-swe-agent[bot]
• AiAuthor
  Tool: github-copilotCommit: 8b243e8f1b9efccfcb9703d920541e228f3bb447Authored: 6 months ago (Mon, 17 Nov 2025 06:51:47 +0000)Match: copilot-swe-agent[bot]

source signals (0)

none