Skip to content
View mercael91's full-sized avatar
1 follower · 0 following
  • World

Block or report mercael91

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

Popular repositories Loading

  1. mercael91 mercael91 Public

    ?? GitHub Profile README

    1

  2. regexproof regexproof Public

    Forked from lucas-albers-lz4/regexproof

    Prove security properties of your regexes with Z3 — playbook + toolkit for coding agents (verified on z3-solver 5.0.0)

    Python

  3. Aratea Aratea Public

    Forked from Elladriel80/Aratea

    Open-source DAO trading Kalshi weather markets to fund parametric climate coverage. Phase 1 live on Arbitrum Sepolia. Contributors welcome.

    Python

  4. composable-data-stack composable-data-stack Public

    Forked from RonaldHensbergen/composable-data-stack

    Modular data platform building blocks wired through explicit contracts, not hidden dependencies

    Python

  5. ship-skills ship-skills Public

    Forked from royalpinto007/ship-skills

    Agent Skills that make a repo shippable: tests, CI, packaging, release, and repo hygiene. The build-side counterpart to distro-skills.

    Python

  6. judge-drift-sentinel judge-drift-sentinel Public

    Forked from homayoun-safarpour/judge-drift-sentinel

    Attribute eval-score movement to the system or the LLM judge using a frozen human anchor set and kappa.

    Python