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 | [package] |
| #2 | name = "qedgen-solana-skills" |
| #3 | version = "1.0.0" |
| #4 | edition = "2021" |
| #5 | authors = ["abishekk92"] |
| #6 | description = "CLI tool for generating formal Lean 4 proofs for Solana programs powered by Mistral's Leanstral model" |
| #7 | license = "MIT" |
| #8 | repository = "https://github.com/qedgen/solana-skills" |
| #9 | |
| #10 | [[bin]] |
| #11 | name = "qedgen" |
| #12 | path = "src/main.rs" |
| #13 | |
| #14 | [dependencies] |
| #15 | anyhow = { workspace = true } |
| #16 | clap = { workspace = true } |
| #17 | reqwest = { workspace = true } |
| #18 | serde = { workspace = true } |
| #19 | serde_json = { workspace = true } |
| #20 | tokio = { workspace = true } |
| #21 | regex = "1" |
| #22 |