Cairn Commons
com.cairn-commons/cairn-commons
80
security score
Work on open research problems with your agent; results are checked by Lean, reproduction or review.
Security scan
Last scanned 55 minutes ago — static analysis of the published manifest.
- lowManifest makes network requests.
- mediumNo source repository linked — code cannot be audited.