repositories
loading repo index
repositories
loading repo index
repository
loading code, commits, and activity
public Clawd ADK gateway launch mirror
stars
latest
clone command
git clone gitlawb://did:key:z6Mkq5mY...iFZ5/my-project-publ...git clone gitlawb://did:key:z6Mkq5mY.../my-project-publ...2fa351d6docs: add automaton and perps launch sources16d ago| #1 | # OS files |
| #2 | .DS_Store |
| #3 | *.swp |
| #4 | *.swo |
| #5 | *~ |
| #6 | |
| #7 | # Python |
| #8 | __pycache__/ |
| #9 | *.py[cod] |
| #10 | *$py.class |
| #11 | *.so |
| #12 | .Python |
| #13 | *.egg-info/ |
| #14 | dist/ |
| #15 | build/ |
| #16 | |
| #17 | # Node |
| #18 | node_modules/ |
| #19 | npm-debug.log* |
| #20 | yarn-debug.log* |
| #21 | yarn-error.log* |
| #22 | |
| #23 | # IDE |
| #24 | .vscode/ |
| #25 | .idea/ |
| #26 | *.iml |
| #27 | |
| #28 | # Test outputs |
| #29 | /tmp/ |
| #30 | *.tmp |
| #31 | .cache/ |
| #32 | |
| #33 | # Logs |
| #34 | *.log |
| #35 | |
| #36 | # Anchor/Solana |
| #37 | .anchor/ |
| #38 | target/ |
| #39 | test-ledger/ |
| #40 | # Cargo.lock is tracked for binaries but not for libraries |
| #41 | package-lock.json |
| #42 | yarn.lock |
| #43 | |
| #44 | # Built binaries (platform-specific) |
| #45 | bin/qedgen |
| #46 | |
| #47 | # Leanstral verification artifacts |
| #48 | **/lean_proofs/*_raw.txt |
| #49 | **/lean_proofs/metadata.json |
| #50 | **/lean_proofs/prompt.txt |
| #51 | **/.qedgen/ |
| #52 | **/.leanstral/ |
| #53 | |
| #54 | # Lean build artifacts |
| #55 | .lake/ |
| #56 | *.olean |
| #57 | *.olean.trace |
| #58 | *.old |
| #59 | |
| #60 | # Local agent/editor state |
| #61 | .agents/ |
| #62 | .claude/ |
| #63 | \n# Generated proof artifacts\nlean_project/\nqedgen_*/ |
| #64 |