Skip to content
View MonongahelaHellbender's full-sized avatar
0 followers · 9 following

Achievements

Achievement: YOLO

Achievements

Achievement: YOLO

Block or report MonongahelaHellbender

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. gradeability-audit gradeability-audit Public

    What fraction of a benchmark's score rests on a sound grader? A deterministic, annotation-free 'trust denominator'.

    Python

  2. oracle-shield oracle-shield Public

    Python

  3. barrier-atlas barrier-atlas Public

    Certified, composable map of impossibility claims with machine-checkable certificates and explicit trust rungs.

    Python

  4. lean-verification-journey lean-verification-journey Public

    Lean 4 verification portfolio: certified combinatorics, LRAT checking, toy robustness, and claim-boundary discipline.

    Lean

  5. claim-stress-tester claim-stress-tester Public

    Routes scientific claims into structured evidence-quality stress tests. Does not verify claims; asks better questions.

    Python