Back to search
Top Contributors
40
commits
Cursor CLI + Claude Code + Codex Sandbox
Stars
16
Forks
1
Watchers
16
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
40
commits
Add support for Google Gemini; switched to using Node from NVM
71173c1View on GitHubAGENTS.md clarified, more explicit advice esp. for Lean
4f16cd7View on GitHubAdded poppler-utils so that it is easier for agents to explore PDF content
0f95e8fView on GitHubAdded jq, which is another tool agents seem to often miss
d60e640View on GitHubAdded rsync, which is convenient for syncing from /workspace to /scratch
bb44dbcView on GitHubAdded /usr/bin/time, as this is something agents seem to often miss
fa2c376View on GitHub