the signals and their derived score are provisional and subject to change.
validate manually before sharing.
6736c163ad5331342020d87f18fef529662489686736c163ad5331342020d87f18fef52966248968Authored: 2 months ago (Sat, 27 Jun 2026 22:37:03 +0000)Match: Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>5981c58891c26855976eedcc6947d84c5d93ded4Authored: 2 months ago (Sat, 27 Jun 2026 21:36:46 +0000)Match: Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>c1b57a3c57843639cfadffd72d42d032e14250b7Authored: 1 year ago (Wed, 6 Aug 2025 15:54:56 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>f1da9c833c5a045f060d96756393afc8ee65c175Authored: 1 year ago (Wed, 6 Aug 2025 13:31:11 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>ea4c27c27c76a4ebef2ee2ea1c1423f0ed8f3861Authored: 1 year ago (Tue, 5 Aug 2025 03:52:24 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>31f007f71fa0992c4203c6a001981f5ca45d5e63Authored: 1 year ago (Mon, 5 May 2025 20:45:55 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>475da38873be112607b1fa8150b01b39b5760994Authored: 1 year ago (Mon, 5 May 2025 20:42:43 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>9e1481de7a931667b4db0cc316ba7a61e9940340Authored: 1 year ago (Mon, 5 May 2025 20:42:14 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>7c68c3d0d83dc405cf8961cb6af8b924facf0f28Authored: 1 year ago (Mon, 5 May 2025 20:40:18 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>fe953f9370adee3b935e7b66e0ae14f55bdbb08fAuthored: 1 year ago (Mon, 5 May 2025 20:40:12 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>113b59589a8619ade60d320e5fd63a5e15ed86e4Authored: 1 year ago (Mon, 5 May 2025 20:15:59 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>07368e89cf7cb0ba41462c9fe662cf2f0c0fb7cdAuthored: 1 year ago (Mon, 5 May 2025 20:14:42 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>5260cd32d3e188b017b2563f7ffa190a0106aa41Authored: 1 year ago (Mon, 5 May 2025 20:14:29 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>1fcc8044651bb5fae1ce5605f424946dd4b7cdf7Authored: 1 year ago (Mon, 5 May 2025 20:13:03 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>00f360c36a454438e2c2a67120a99f37ab28bbb8Authored: 1 year ago (Mon, 5 May 2025 20:12:07 +0000)Match: 🤖 Generated with [Claude Code](https://claude.ai/code)00f360c36a454438e2c2a67120a99f37ab28bbb8Authored: 1 year ago (Mon, 5 May 2025 20:12:07 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>0dd51518e7a72635a677ede79b170528e015152bAuthored: 1 year ago (Mon, 5 May 2025 20:09:39 +0000)Match: feat: complete presentation with presenter notes and timed slides\n\nThis commit adds a comprehensive presentation with presenter notes for pdfpc, bibliography integration, and proper slide timing. The presentation covers McCarthy's original Lisp concepts and their formalization with Coq.\n\n\ud83e\udd16 Generated with [Claude Code](https://claude.ai/code)\n\nCo-Authored-By: Claude <noreply@anthropic.com>9d590de3a28f4d73c2cd33102d61ae8ddbcdbcfbAuthored: 1 year ago (Mon, 5 May 2025 19:28:33 +0000)Match: 🤖 Generated with [Claude Code](https://claude.ai/code)9d590de3a28f4d73c2cd33102d61ae8ddbcdbcfbAuthored: 1 year ago (Mon, 5 May 2025 19:28:33 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>48c3e42b76d5c5e13afc6f812ce89ba28b16d9b5Authored: 1 year ago (Mon, 5 May 2025 19:28:23 +0000)Match: \feat: separate Scheme and Coq tests in Makefile\n\nThis commit separates Scheme and Coq tests into distinct targets in the Makefile, making it easier to run tests for each language independently. It also adds the Coq proofs directory with formal verification examples.\n\n\ud83e\udd16 Generated with [Claude Code](https://claude.ai/code)\n\nCo-Authored-By: Claude <noreply@anthropic.com>\ac1e760fbdbdca30f299594b7cdbfaf7a75c87f1Authored: 1 year ago (Mon, 5 May 2025 19:20:34 +0000)Match: 🤖 Generated with [Claude Code](https://claude.ai/code)ac1e760fbdbdca30f299594b7cdbfaf7a75c87f1Authored: 1 year ago (Mon, 5 May 2025 19:20:34 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>5878185037bd83ab4c6cd40efcf7305b17bd8cb1Authored: 1 year ago (Mon, 5 May 2025 19:20:22 +0000)Match: 🤖 Generated with [Claude Code](https://claude.ai/code)5878185037bd83ab4c6cd40efcf7305b17bd8cb1Authored: 1 year ago (Mon, 5 May 2025 19:20:22 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>bea2ada8cfd97516c983540b798b4dc02e308a78Authored: 1 year ago (Mon, 5 May 2025 19:20:13 +0000)Match: 🤖 Generated with [Claude Code](https://claude.ai/code)bea2ada8cfd97516c983540b798b4dc02e308a78Authored: 1 year ago (Mon, 5 May 2025 19:20:13 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>aa15dfd27a225f2c4cd87963ac7c3fa029e3b12dAuthored: 1 year ago (Mon, 5 May 2025 19:20:03 +0000)Match: 🤖 Generated with [Claude Code](https://claude.ai/code)aa15dfd27a225f2c4cd87963ac7c3fa029e3b12dAuthored: 1 year ago (Mon, 5 May 2025 19:20:03 +0000)Match: Co-Authored-By: Claude <noreply@anthropic.com>b36489e7d5e5fafada34488f5e9c6e72e284a1d4Authored: 1 year ago (Mon, 5 May 2025 14:42:41 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>3040b47c638e9aa6f59ac8a0a78a6afa922c51b9Authored: 1 year ago (Mon, 5 May 2025 14:39:08 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>006c9fb57d879d3613b596908aabfa6a58e8e2feAuthored: 1 year ago (Mon, 5 May 2025 14:37:59 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>059cc089e31c839fc7666e6bb8378e7f4795d1f3Authored: 1 year ago (Mon, 5 May 2025 13:26:33 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>ba7f3ca6fbec86b60c1826d0fbaa7452cf1ef7eaAuthored: 1 year ago (Mon, 5 May 2025 13:23:03 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>07df987a99b8f51a07db85120d966d4978f693b8Authored: 1 year ago (Mon, 5 May 2025 13:22:25 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>3606504c2155aa7bf1bb57a84167a9fc57721609Authored: 1 year ago (Mon, 5 May 2025 13:22:10 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>b2329ce30f286c7fc30afef47e093277e4f08b8cAuthored: 1 year ago (Mon, 5 May 2025 13:21:51 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>b90091169afbadac671d0defb889f1c70a289dceAuthored: 1 year ago (Mon, 5 May 2025 13:21:15 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>8498e4f924f1b1aac8556eaf23e40a82b432ebbfAuthored: 1 year ago (Mon, 5 May 2025 04:01:19 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>1bd1dc7a13a41f28cd399c49d6e550cfd9d84281Authored: 1 year ago (Mon, 5 May 2025 03:57:37 +0000)Match: noreply@anthropic.com1bd1dc7a13a41f28cd399c49d6e550cfd9d84281Authored: 1 year ago (Mon, 5 May 2025 03:57:37 +0000)Match: noreply@anthropic.com1bd1dc7a13a41f28cd399c49d6e550cfd9d84281Authored: 1 year ago (Mon, 5 May 2025 03:57:37 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>04387e76bd4ca304d2332a428afd02aa9394af51Authored: 1 year ago (Sun, 4 May 2025 23:35:36 +0000)Match: noreply@anthropic.com04387e76bd4ca304d2332a428afd02aa9394af51Authored: 1 year ago (Sun, 4 May 2025 23:35:36 +0000)Match: noreply@anthropic.com04387e76bd4ca304d2332a428afd02aa9394af51Authored: 1 year ago (Sun, 4 May 2025 23:35:36 +0000)Match: Co-authored-by: Claude <noreply@anthropic.com>CLAUDE.mdTool: claude-code#+AUTHOR:
#+DATE:
#+OPTIONS: toc:2
* Build/Test/Lint Commands
** Python
- Test: =pytest {file_path}= or =pytest -xvs {file_path}::test_name= for single tests
- Environment: =poetry install= and =poetry shell= for Poetry projects
** JavaScript/Node
- Test: =npm test= or =npm test -- -t "test name"= for single tests
- Lint: =eslint .= for JS
** Make-based
- Check local Makefile (=gmake help= or =make test=)
** Linting
- Python: =black .=
- Multi-language: =pre-commit run --all-files=
* Code Style Guid.claude/File: .gitignoreTool: claude-code