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 | { |
| #2 | "name": "qedgen-solana-skills", |
| #3 | "version": "1.0.0", |
| #4 | "description": "Agent skill for generating formal Lean 4 proofs using Mistral's Leanstral model. Perfect for verifying Solana programs, Rust code, and smart contracts", |
| #5 | "keywords": [ |
| #6 | "agent-skill", |
| #7 | "lean4", |
| #8 | "formal-verification", |
| #9 | "qedgen", |
| #10 | "solana", |
| #11 | "rust", |
| #12 | "smart-contracts", |
| #13 | "proof-assistant", |
| #14 | "mistral" |
| #15 | ], |
| #16 | "main": "SKILL.md", |
| #17 | "bin": { |
| #18 | "qedgen": "./bin/qedgen" |
| #19 | }, |
| #20 | "files": [ |
| #21 | "SKILL.md", |
| #22 | "bin/", |
| #23 | "install.sh", |
| #24 | "Cargo.toml", |
| #25 | "Cargo.lock", |
| #26 | "crates/", |
| #27 | "tools/" |
| #28 | ], |
| #29 | "scripts": { |
| #30 | "postinstall": "bash install.sh", |
| #31 | "prepack": "cargo build --release && mkdir -p bin && cp target/release/qedgen bin/ && chmod +x bin/qedgen", |
| #32 | "test": "./bin/qedgen --help" |
| #33 | }, |
| #34 | "repository": { |
| #35 | "type": "git", |
| #36 | "url": "git+https://github.com/qedgen/solana-skills.git" |
| #37 | }, |
| #38 | "author": "abishekk92", |
| #39 | "license": "MIT", |
| #40 | "homepage": "https://github.com/qedgen/solana-skills#readme", |
| #41 | "agentSkills": { |
| #42 | "skills": [ |
| #43 | "SKILL.md" |
| #44 | ] |
| #45 | } |
| #46 | } |
| #47 |