cryspen / cryspen/bertie

Evaluate (and integrate) TLS-Anvil.

Open
#31 0 comments 0 reactions 0 assignees View on GitHub
enhancement
Dominant language
F*
Stars
138
Forks
5
PR merge metrics
No merged PRs in 30d

Description

See https://tls-anvil.com/.

Contributor guide

Open the contributing guide

Research direction

Start with the TLS-Anvil website linked in the issue and determine what evaluation and integration are intended. The issue names no repository files, tests, entry points, or acceptance criteria, so define the target scope and what completion means before implementing anything.

Written by the indexing model from the issue text.

Assessment

Domain
networking, security
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.