Public Registry

Verified Capability Cards

Projects that have published a capability_card.json and passed local schema verification. Trust scores are self-reported until the hosted verification service launches.

1
Verified cards
11
Total proofs
0.94
Highest trust score
0
Failed verifications

Monogate

v0.7.0 library

Single binary gate eml(x,y) = exp(x) − ln(y) generating a span dense in C([a,b]ⁿ) for all n. EML Weierstrass Theorem proven. Infinite Zeros Barrier confirmed across 1.7B trees. Phantom attractor PSLQ-null at 200 digits.

github.com/almaguer1986/monogate → · capability_card.json →
0.94
trust score
verified
17
Capabilities
22
Benchmarks
11
Proofs
Proof highlights
proven EML Weierstrass Theorem
proven Infinite Zeros Barrier (N=12 exhaustive)
proven Bivariate EML Weierstrass
conjecture EL-Transcendence (PSLQ-null 200 digits)
proven KL = Bregman via EML
empirical N=3 Schanuel Phase Transition
Add a badge to your README

Once your card is verified, run this to get your badge snippet:

$ capcard badge capability_card.json
Markdown:
  [![CapCard](https://img.shields.io/badge/capcard-0.94-10b981)](https://capcard.ai/registry.html)
Want your project listed here?
Add a capability_card.json to your repo root, then open a pull request.
Get started Install GitHub App