PyPI page
Home page
Author:
None
License:
Proprietary
Summary:
Automated smart contract security analysis powered by formal verification
Latest version:
0.2.2
Required dependencies:
anthropic
|
beautifulsoup4
|
boto3
|
certora-cli-beta-mirror
|
chromadb
|
claude-agent-sdk
|
einops
|
flask
|
isodate
|
jinja2
|
json5
|
langchain
|
langchain-anthropic
|
langchain-community
|
langchain-core
|
langchain-text-splitters
|
langgraph
|
langgraph-checkpoint-postgres
|
langgraph-sdk
|
lark
|
numpy
|
psycopg
|
psycopg-binary
|
pycryptodome
|
pydantic
|
pydantic-settings
|
python-dotenv
|
requests
|
sentence-transformers
|
spacy
|
torch
|
tqdm
|
transformers
|
urllib3
Downloads last day:
14
Downloads last week:
39
Downloads last month:
97