model-alpha

KO | EN

gitlite — search

#gemini #deep-learning #proxy #markdown #redis #nextjs #git #anthropic #pytorch #react-native

(★ 9)

Solidity contract auditor: bundled JavaScript call-graph extractor (@solidity-parser/parser) plus a stdlib Python CLI that POSTs each function to a Model Alpha audit endpoint.

파일 탐색기

ZIP 다운로드

- bootstrap.sh
- model_alpha_cli.py
- get_function_graph.js
- package-lock.json
- package.json
- test_rate_limit_retry.py
.gitignore
LICENSE
README.md
SKILL.md

# CDN으로 사용하기

jsDelivr

jsDelivr는 공개 GitHub 리포지토리를 별도 설정 없이 CDN으로 즉시 서빙합니다. 버전과 파일을 고르면 웹페이지에 바로 붙일 수 있는 링크와 예시 코드가 만들어집니다.

버전

파일

링크

예시

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

Audit Solidity contracts for vulnerabilities using AI. Install it as a skill, then ask your agent to audit any contract — zero configuration, no API keys, nothing to set up.

## Install (one command)

```bash
git clone https://github.com/Kann-Audits/model-alpha.git /tmp/model-alpha
```

Copy it into your agent's skills folder — it must live in a directory named `model-alpha`:

| Agent | Install |
|---|---|
| **opencode** | `mkdir -p ~/.config/opencode/skills && cp -r /tmp/model-alpha ~/.config/opencode/skills/model-alpha` |
| **Claude** | `mkdir -p ~/.claude/skills && cp -r /tmp/model-alpha ~/.claude/skills/model-alpha` |
| **Codex** | `mkdir -p ~/.codex/skills && cp -r /tmp/model-alpha ~/.codex/skills/model-alpha` |
| **Hermes** | `mkdir -p ~/.hermes/skills && cp -r /tmp/model-alpha ~/.hermes/skills/model-alpha` |

One-time dependency (Node.js, for call-graph extraction):

```bash
cd ~/.config/opencode/skills/model-alpha/solidity-graph && npm install
```

Restart your agent. Done.

## Use

Ask your agent, e.g. *"audit this contract"* or *"is this Solidity safe?"* pointing at a `.sol` file. It extracts each function's call graph and sends it to the hosted Model Alpha portal, returning a `VULNERABLE` / `SAFE` verdict per function.

## Notes

- **Large batches are handled automatically.** Every function’s complete reasoning and verdict is printed; if a function cannot be processed, the full endpoint error is printed. On a 429, the CLI waits 61 seconds, retries the same safe request, and continues the contract. Use `--rate-limit-wait SECONDS` to override the delay.
- Very large individual functions may still hit the portal's token cap; their complete error response is shown.

## Model weights

The weights behind this skill are available as a gated release on Hugging Face:

[**l-lyubenov/model-alpha**](https://huggingface.co/l-lyubenov/model-alpha)

The release is byte-identical to the weights served by the live Vast endpoint (AWQ pack-quantized int4, ~5.7 GB). Manual approval required — request access from your Hugging Face account.

## License

MIT — see [LICENSE](LICENSE).

model-alpha

오너의 다른 레포

파일 탐색기

# CDN으로 사용하기

Was this content helpful?

Recent Feedback

model-alpha

오너의 다른 레포

파일 탐색기

# CDN으로 사용하기

Was this content helpful?

Recent Feedback

Download README