github.com/rocq-prover/rocq (link)

commit signals (45)

• AiGenerationPhrase
  Tool: claude-codeCommit: dd9dad130060fe8c6401bd20830e786a9d9da4d3Authored: 3 days ago (Mon, 14 Sep 2026 07:24:07 +0000)Match: Claude-Session: https://claude.ai/code/session_01L9BGQT7XUuubV6C619DW4b
• AiGenerationPhrase
  Tool: claude-codeCommit: 92378fa3ef3970bf287aba5c932219f37c99f896Authored: 6 days ago (Thu, 10 Sep 2026 15:32:05 +0000)Match: Claude-Session: https://claude.ai/code/session_01L9BGQT7XUuubV6C619DW4b
• AiCoAuthor
  Tool: claude-codeCommit: 268f5859e9d70743e797c099497f52ee1458f838Authored: 1 week ago (Thu, 10 Sep 2026 11:00:42 +0000)Match: Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
• AiGenerationPhrase
  Tool: claude-codeCommit: b094b207798d5784d8d2155bfa362915bacd6a51Authored: 1 week ago (Wed, 9 Sep 2026 21:05:33 +0000)Match: Claude-Session: https://claude.ai/code/session_01L9BGQT7XUuubV6C619DW4b
• AiGenerationPhrase
  Tool: claude-codeCommit: 867d3b7fcd666419436d1c2e5953e6f39c319a09Authored: 1 week ago (Wed, 9 Sep 2026 21:05:33 +0000)Match: Claude-Session: https://claude.ai/code/session_01L9BGQT7XUuubV6C619DW4b
• AiGenerationPhrase
  Tool: claude-codeCommit: d888d77188bdc6025d1dec167b635291ad49d7efAuthored: 1 week ago (Wed, 9 Sep 2026 21:05:33 +0000)Match: Claude-Session: https://claude.ai/code/session_01L9BGQT7XUuubV6C619DW4b
• AiGenerationPhrase
  Tool: claude-codeCommit: a448f0c05f8aad27111f305e9aad95bd58c71bd8Authored: 1 week ago (Tue, 8 Sep 2026 15:25:24 +0000)Match: Claude-Session: https://claude.ai/code/session_01L9BGQT7XUuubV6C619DW4b
• AiCoAuthor
  Tool: claude-codeCommit: a3294e4c773507e58be51ac8a0c163c7b201db32Authored: 1 week ago (Mon, 7 Sep 2026 15:14:40 +0000)Match: Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: 7561822fb2698b71ccd4718eca1a28306040cbc1Authored: 1 week ago (Mon, 7 Sep 2026 14:52:23 +0000)Match: Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: 2a33a4b690c335fb97131a5782f6085bbad33a00Authored: 2 weeks ago (Fri, 28 Aug 2026 17:25:23 +0000)Match: Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: 2686357de36d6f12a5434b58cdca36bbf5c9a043Authored: 2 weeks ago (Fri, 28 Aug 2026 14:08:06 +0000)Match: Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: 022ea27534cc6da7f843a47c48a455c7fa8676afAuthored: 3 weeks ago (Thu, 27 Aug 2026 09:48:59 +0000)Match: Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: cae54f0a42b83135176d819f1b3469fec2d81396Authored: 1 month ago (Sun, 9 Aug 2026 14:38:26 +0000)Match: Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: 0dec2fbb886b29bb23891db9083431faaca34315Authored: 1 month ago (Sun, 9 Aug 2026 01:08:00 +0000)Match: Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: 2aada9433abfeb69e02e66779cab853fe8085776Authored: 1 month ago (Sun, 9 Aug 2026 01:06:29 +0000)Match: Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
• AiGenerationPhrase
  Tool: claude-codeCommit: c7a995a331e69680829d453bde004b57a040ee3fAuthored: 2 months ago (Thu, 16 Jul 2026 23:52:29 +0000)Match: Claude-Session: https://claude.ai/code/session_019ttctspSoVoquHLQtbPVZw
• AiGenerationPhrase
  Tool: claude-codeCommit: 203abd0b265198543fc3a3ee7f92a24c7a883e96Authored: 2 months ago (Thu, 16 Jul 2026 23:19:23 +0000)Match: Claude-Session: https://claude.ai/code/session_019ttctspSoVoquHLQtbPVZw
• AiGenerationPhrase
  Tool: claude-codeCommit: 2b7db0b0880adb2e67263db31c3cee8ee40d7847Authored: 2 months ago (Wed, 15 Jul 2026 23:23:29 +0000)Match: Claude-Session: https://claude.ai/code/session_019ttctspSoVoquHLQtbPVZw
• AiGenerationPhrase
  Tool: claude-codeCommit: dfce2ae74d20ebe7dc9d90051307464dc2a3baf0Authored: 2 months ago (Sat, 11 Jul 2026 17:17:08 +0000)Match: Claude-Session: https://claude.ai/code/session_019ttctspSoVoquHLQtbPVZw
• AiGenerationPhrase
  Tool: claude-codeCommit: 8c82615376f31cc8f24052def6d955c18fa43e0eAuthored: 2 months ago (Wed, 8 Jul 2026 18:17:38 +0000)Match: Claude-Session: https://claude.ai/code/session_019ttctspSoVoquHLQtbPVZw
• AiGenerationPhrase
  Tool: claude-codeCommit: fc9bc41984d426613695b5a3478057c74045932cAuthored: 2 months ago (Wed, 8 Jul 2026 15:06:38 +0000)Match: Claude-Session: https://claude.ai/code/session_019ttctspSoVoquHLQtbPVZw
• AiGenerationPhrase
  Tool: claude-codeCommit: 396c77536a3b402dd8c927d6514facc3100baf4cAuthored: 2 months ago (Wed, 8 Jul 2026 14:03:15 +0000)Match: Claude-Session: https://claude.ai/code/session_019ttctspSoVoquHLQtbPVZw
• AiGenerationPhrase
  Tool: claude-codeCommit: c93c0b424a208da7a9b27eebcb26b7cf34924208Authored: 2 months ago (Tue, 7 Jul 2026 18:00:20 +0000)Match: Claude-Session: https://claude.ai/code/session_019ttctspSoVoquHLQtbPVZw
• AiGenerationPhrase
  Tool: claude-codeCommit: 2829830313bf14c7ee7c48bb108df73726e1f9afAuthored: 2 months ago (Mon, 6 Jul 2026 23:24:10 +0000)Match: Claude-Session: https://claude.ai/code/session_019ttctspSoVoquHLQtbPVZw
• AiGenerationPhrase
  Tool: claude-codeCommit: 39bf261b9426d3aff6069061394c17707e6662ceAuthored: 2 months ago (Sun, 21 Jun 2026 05:24:47 +0000)Match: Claude-Session: https://claude.ai/code/session_019ttctspSoVoquHLQtbPVZw
• AiCoAuthor
  Tool: claude-codeCommit: 21edf32d7ce207124fc000f6de9be94d0240ab6fAuthored: 3 months ago (Sun, 14 Jun 2026 18:35:40 +0000)Match: Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
• AiGenerationPhrase
  Tool: claude-codeCommit: 3006a6d6542c4dfb45e50638f2146126655f1f72Authored: 3 months ago (Sun, 24 May 2026 01:16:30 +0000)Match: 🤖 Generated with [Claude Code](https://claude.ai/code)
• AiCoAuthor
  Tool: claude-codeCommit: cf2b0f6e8c3e43d49a51cbc9ae0707088b065882Authored: 5 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: 5 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: 5 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: 5 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: 5 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: 5 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: 5 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: 6 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: 6 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: 6 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: 6 months ago (Tue, 3 Mar 2026 16:56:33 +0000)Match: Co-authored-by: Claude <claude@anthropic.com>
• AiCoAuthor
  Tool: claude-codeCommit: ee2fb1359d80f02aef44e83ba58313c03e37884fAuthored: 6 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: 8 months ago (Thu, 15 Jan 2026 19:07:25 +0000)Match: copilot-swe-agent[bot]
• AiGenerationPhrase
  Tool: claude-codeCommit: 59e60897e0db72fccaa12ea304b02392b413e44fAuthored: 8 months ago (Thu, 8 Jan 2026 07:18:30 +0000)Match: 🤖 Generated with [Claude Code](https://claude.com/claude-code)
• AiGenerationPhrase
  Tool: claude-codeCommit: 050dcd54e1d31a0eb891458597b4cc4db7facf2bAuthored: 8 months ago (Tue, 6 Jan 2026 20:44:19 +0000)Match: 🤖 Generated with [Claude Code](https://claude.com/claude-code)
• AiGenerationPhrase
  Tool: claude-codeCommit: 592c860418f3ca4ae2505719b382c9486b68d594Authored: 8 months ago (Mon, 5 Jan 2026 23:04:16 +0000)Match: 🤖 Generated with [Claude Code](https://claude.com/claude-code)
• AiAuthor
  Tool: github-copilotCommit: 693577ea9453a979eddef053a8e2b42937b2322dAuthored: 8 months ago (Fri, 19 Dec 2025 23:14:11 +0000)Match: copilot-swe-agent[bot]
• AiAuthor
  Tool: github-copilotCommit: 8b243e8f1b9efccfcb9703d920541e228f3bb447Authored: 10 months ago (Mon, 17 Nov 2025 06:51:47 +0000)Match: copilot-swe-agent[bot]

source signals (0)

none

ignorefile signals (0)

none