Propietario

QWED-AI

Inicia sesión para seguir

3 repositorios indexados · Ver en GitHub

qwed-verification
Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state befo...

Python · 60 estrellas
qwed-finance
Deterministic verification layer for AI-generated financial decisions. Verifies math (NPV, IRR, Black-Scholes, YTM, VaR), compliance (AML...

Python · 3 estrellas
qwed-tax
The Verification Gate for AI-Generated Tax Decisions. Deterministic tax verification layer powered by Z3 and Decimal math — sits between ...

Python · 1 estrella

Para principiantes Todo

Abierto Todos

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

Go SDK has no versioned release: go get .../[email protected] fails
Abierto
- ¿Algo no está bien?
Dificultad 4/5 1-2 días Aptitud para principiantes 25/100

QWED-AI/qwed-verification#443 · Abierto el 13/10/2026

Los mantenedores suelen responder en 1 día
Declare a Development Status classifier on PyPI
Abierto
- ¿Algo no está bien?
Dificultad 1/5 1-3 horas Aptitud para principiantes 78/100

QWED-AI/qwed-tax#85 · Abierto el 12/10/2026
qwed init / qwed test output uses BLOCKED and "verified" in ways the result vocabulary does not allow
Abierto
- ¿Algo no está bien?
documentation sdk

Dificultad 4/5 3-5 días Aptitud para principiantes 56/100

QWED-AI/qwed-verification#438 · Abierto el 12/10/2026

Los mantenedores suelen responder en 1 día
A math claim proven false is reported as UNVERIFIABLE ("inconclusive"), not VERIFIED + DENY
Abierto
- ¿Algo no está bien?
diagnostics verification

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

QWED-AI/qwed-verification#437 · Abierto el 12/10/2026

Los mantenedores suelen responder en 1 día
ci(release): manual publish builds main instead of the release tag
Abierto
- ¿Algo no está bien?
Dificultad 3/5 1-2 días Aptitud para principiantes 50/100

QWED-AI/qwed-tax#84 · Abierto el 10/10/2026
[Tracker] Fail-closed, correctness and contract backlog + 0.2.1 release gap
Abierto
- ¿Algo no está bien?
discussion/meta

Dificultad 5/5 Más de una semana Aptitud para principiantes 12/100

QWED-AI/qwed-tax#79 · Abierto el 10/10/2026
Hygiene batch: PoEM input typing, global Decimal context mutation, SYMBOLIC label, to_diagnostic evidence aliasing, W4Form extra fields, npm tests not in CI
Abierto
- ¿Algo no está bien?
bug

Dificultad 3/5 3-5 días Aptitud para principiantes 50/100

QWED-AI/qwed-tax#78 · Abierto el 10/10/2026
[Bug]: GST split and GSTIN do not validate state identity (free-text place of supply decides IGST vs CGST/SGST)
Abierto
- ¿Algo no está bien?
bug

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

QWED-AI/qwed-tax#77 · Abierto el 10/10/2026
[Bug]: Numeric-domain gaps verify out-of-range inputs (Valuation accepts Infinity, ITC credit above invoice, inconsistent claim precision)
Abierto
- ¿Algo no está bien?
bug

Dificultad 4/5 3-5 días Aptitud para principiantes 22/100

QWED-AI/qwed-tax#76 · Abierto el 10/10/2026
[Bug]: Seven guards return verified for a computed value without comparing a claim (TDS, Valuation and PoEM map to VERIFIED with proof_ref)
Abierto
- ¿Algo no está bien?
bug diagnostics

Dificultad 4/5 3-5 días Aptitud para principiantes 28/100

QWED-AI/qwed-tax#75 · Abierto el 10/10/2026
[Bug] Advertised but unimplemented: action `compound` verification type and UCP `verify_loan_terms` operation
Abierto
- ¿Algo no está bien?
bug P3

Dificultad 3/5 Medio día Aptitud para principiantes 62/100

QWED-AI/qwed-finance#116 · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Tracker]: Verification correctness & engine hardening (Oct 2026)
Abierto
- ¿Algo no está bien?
Issue Tracker qwed security verification

Dificultad 5/5 Más de una semana Aptitud para principiantes 8/100

QWED-AI/qwed-verification#433 · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Tech-Debt]: TestWrapperCap sandbox-containment tests fail instead of skip when Docker is unavailable
Abierto
- ¿Algo no está bien?
P2 python Tech-Debt

Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100

QWED-AI/qwed-verification#432 · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Engineering]: SymbolicVerifier should run CrossHair inside the secure sandbox (code is imported on the host)
Abierto
- ¿Algo no está bien?
enhancement P1 qwed security security

Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

QWED-AI/qwed-verification#431 · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Bug]: verify_identity() treats expressions as equivalent across removable singularities (x**2/x vs x)
Abierto
- ¿Algo no está bien?
bug P2 verification

Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

QWED-AI/qwed-verification#429 · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Bug]: DSL parser accepts IFF / FORALL / EXISTS but the Z3 compiler has no implementation for them
Abierto
- ¿Algo no está bien?
bug P2 verification

Dificultad 3/5 1-2 días Aptitud para principiantes 62/100

QWED-AI/qwed-verification#428 · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Bug]: CapitalGainsGuard counts months as days, ignores debt-fund purchase date, and verifies rates without the 23 Jul 2024 sale-date boundary
Abierto
- ¿Algo no está bien?
bug

Dificultad 4/5 3-5 días Aptitud para principiantes 30/100

QWED-AI/qwed-tax#74 · Abierto el 9/10/2026
[Bug]: TDSGuard 194C single/aggregate threshold logic is wrong, and the default rate table is out of date for FY 2025-26
Abierto
- ¿Algo no está bien?
bug

Dificultad 4/5 3-5 días Aptitud para principiantes 34/100

QWED-AI/qwed-tax#73 · Abierto el 9/10/2026
[Bug]: Set-off guards verify prohibited set-offs (business loss vs salary, any loss vs VDA income, capital loss vs business income)
Abierto
- ¿Algo no está bien?
bug

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

QWED-AI/qwed-tax#72 · Abierto el 9/10/2026
[Tracker] October 2026 adversarial audit — qwed-finance findings
Abierto
- ¿Algo no está bien?
audit-2026-10 Issue Tracker security

Dificultad 5/5 Más de una semana Aptitud para principiantes 12/100

QWED-AI/qwed-finance#115 · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Bug] FinanceVerifier money parsing strips commas anywhere and ignores the currency symbol
Abierto
- ¿Algo no está bien?
audit-2026-10 bug P3

Dificultad 3/5 1-2 días Aptitud para principiantes 52/100

QWED-AI/qwed-finance#114 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Bug] IBAN/BIC validation: no country length check, Unicode digits, newline-suffixed BIC, and valid=True for agreed garbage
Abierto
- ¿Algo no está bien?
audit-2026-10 bug P3 security

Dificultad 3/5 1-2 días Aptitud para principiantes 42/100

QWED-AI/qwed-finance#113 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Bug] OpenResponses tool results use the tool name as tool_use_id, so results of repeated calls cannot be correlated
Abierto
- ¿Algo no está bien?
audit-2026-10 bug integration P3

Dificultad 3/5 Medio día Aptitud para principiantes 62/100

QWED-AI/qwed-finance#112 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Security] Sanctions and business-rule configuration can fail open (empty list entries, unknown rule keys, string allow-lists) (CWE-636)
Abierto
- ¿Algo no está bien?
audit-2026-10 bug P3 security

Dificultad 3/5 1-2 días Aptitud para principiantes 42/100

QWED-AI/qwed-finance#111 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Bug] MT103 validation accepts empty mandatory fields and conflicting option variants (59 + 59A)
Abierto
- ¿Algo no está bien?
audit-2026-10 bug P3 security

Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

QWED-AI/qwed-finance#110 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Security] QueryGuard authorizes quoted identifiers case-insensitively ("T1" passes an allow-list of t1) (CWE-178)
Abierto
- ¿Algo no está bien?
audit-2026-10 bug P3 security

Dificultad 3/5 Medio día Aptitud para principiantes 50/100

QWED-AI/qwed-finance#109 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Security] verify_kyc_complete treats unknown tiers as standard and truthy non-booleans as evidence (CWE-843)
Abierto
- ¿Algo no está bien?
audit-2026-10 bug P2 security

Dificultad 2/5 Medio día Aptitud para principiantes 62/100

QWED-AI/qwed-finance#108 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Security] pacs.008 structural validation accepts invalid amounts and NbOfTxs mismatches; max_amount is per occurrence (CWE-20)
Abierto
- ¿Algo no está bien?
audit-2026-10 bug P2 security

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

QWED-AI/qwed-finance#107 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Security] ComplianceGuard.verify_transaction_limit accepts negative and non-finite amounts and totals (CWE-20)
Abierto
- ¿Algo no está bien?
audit-2026-10 bug P2 security

Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100

QWED-AI/qwed-finance#106 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Security] ISOGuard verifies NaN/Infinity amounts and newline-suffixed codes (CWE-20)
Abierto
- ¿Algo no está bien?
audit-2026-10 bug P2 security

Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

QWED-AI/qwed-finance#105 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Security] MT sanctions screening misses names that wrap across 35-character continuation lines (CWE-184)
Abierto
- ¿Algo no está bien?
audit-2026-10 bug P2 security

Dificultad 3/5 1-2 días Aptitud para principiantes 62/100

QWED-AI/qwed-finance#104 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Security] MT103 sanctions screening skips party options 53B/53D, 54B/54D, 55B/55D (CWE-184)
Abierto
- ¿Algo no está bien?
audit-2026-10 bug P2 security

Dificultad 3/5 Medio día Aptitud para principiantes 65/100

QWED-AI/qwed-finance#103 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Security] UCP verify_payment_token defaults a missing currency to USD and applies currency-blind limits (CWE-1188)
Abierto
- ¿Algo no está bien?
audit-2026-10 bug integration P2 security

Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

QWED-AI/qwed-finance#102 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Security] GitHub Action scan modes report "All calculations verified" when rows are skipped or fail to parse (CWE-636)
Abierto
- ¿Algo no está bien?
audit-2026-10 bug ci P2 security

Dificultad 3/5 1-2 días Aptitud para principiantes 50/100

QWED-AI/qwed-finance#101 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Bug] BondGuard.verify_ytm clamps yields to [0.01%, 1000%], verifying a wrong YTM for negative-yield bonds
Abierto
- ¿Algo no está bien?
audit-2026-10 bug P2

Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

QWED-AI/qwed-finance#100 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Bug] RiskGuard.verify_var clamps confidence above 99% and linearly interpolates z-scores, verifying wrong VaR values
Abierto
- ¿Algo no está bien?
audit-2026-10 bug P2

Dificultad 3/5 Medio día Aptitud para principiantes 55/100

QWED-AI/qwed-finance#99 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
[Security] RiskGuard/BondGuard verify ANY claim when the computed value is zero or negative (VaR, ES, convexity) (CWE-697)
Abierto
- ¿Algo no está bien?
audit-2026-10 bug P2 security

Dificultad 3/5 Medio día Aptitud para principiantes 68/100

QWED-AI/qwed-finance#98 · 1 comentario · Abierto el 9/10/2026

Los mantenedores suelen responder en 1 día
fix(security): disposition exfiltrated key.pem key material (deleted file, lives in history)
Abierto
- ¿Algo no está bien?
security

Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

QWED-AI/qwed-verification#422 · Abierto el 5/10/2026

Los mantenedores suelen responder en 1 día
chore(deps): Rust hygiene — tokio floor and lockfile decision (race advisories unexploitable)
Abierto
- ¿Algo no está bien?
security

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

QWED-AI/qwed-verification#421 · Abierto el 5/10/2026

Los mantenedores suelen responder en 1 día
fix(security): deployment runs container as root (no securityContext)
Abierto
- ¿Algo no está bien?
security

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

QWED-AI/qwed-verification#419 · Abierto el 3/10/2026

Los mantenedores suelen responder en 1 día
fix(security): benchmark executes LLM-generated code via exec/eval without sandbox
Abierto
- ¿Algo no está bien?
security

Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

QWED-AI/qwed-verification#418 · Abierto el 3/10/2026

Los mantenedores suelen responder en 1 día
chore(security): Go toolchain pinned to EOL 1.21 (no updates)
Abierto
- ¿Algo no está bien?
security

Dificultad 4/5 1-2 días Aptitud para principiantes 48/100

QWED-AI/qwed-verification#417 · Abierto el 3/10/2026

Los mantenedores suelen responder en 1 día
Wire get_signature into receipt creation/export: key provisioning, rotation, export attachment (#44 follow-up)
Abierto
- ¿Algo no está bien?
architecture enhancement P1 security

Dificultad 5/5 Más de una semana Aptitud para principiantes 18/100

QWED-AI/qwed-finance#90 · Abierto el 26/9/2026

Los mantenedores suelen responder en 1 día
[Tracker] Source-only security audit (run-2) — 5 new + 2 existing findings remediation
Abierto
- ¿Algo no está bien?
Issue Tracker qwed security security

Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

QWED-AI/qwed-verification#394 · Abierto el 23/9/2026

Los mantenedores suelen responder en 1 día
[Security] Per-agent daily spend cap (max_cost_per_day) not enforced on the tool-call path
Abierto
- ¿Algo no está bien?
bug P2 qwed security security

Dificultad 3/5 1-2 días Aptitud para principiantes 58/100

QWED-AI/qwed-verification#393 · Abierto el 23/9/2026

Los mantenedores suelen responder en 1 día
[Security] /verify/image and JSON routes have no request-body size cap (body-size middleware is /verify/stats-only)
Abierto
- ¿Algo no está bien?
bug P2 qwed security security

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

QWED-AI/qwed-verification#392 · Abierto el 23/9/2026

Los mantenedores suelen responder en 1 día
[Security] /verify/batch runs sympy inline per item and retains jobs in an unbounded in-process dict
Abierto
- ¿Algo no está bien?
bug P2 qwed security security

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

QWED-AI/qwed-verification#391 · Abierto el 23/9/2026

Los mantenedores suelen responder en 1 día
[Security] /verify natural_language, logic and fact run synchronous provider calls on the event loop (tenant-availability DoS)
Abierto
- ¿Algo no está bien?
bug P2 qwed security security

Dificultad 4/5 3-5 días Aptitud para principiantes 58/100

QWED-AI/qwed-verification#390 · Abierto el 23/9/2026

Los mantenedores suelen responder en 1 día
[Security] Tenant auth ignores ApiKey.expires_at — expired API keys keep authenticating
Abierto
- ¿Algo no está bien?
bug P2 qwed security security

Dificultad 3/5 1-2 días Aptitud para principiantes 56/100

QWED-AI/qwed-verification#389 · Abierto el 23/9/2026

Los mantenedores suelen responder en 1 día
[Tracker] Verification/execution boundary - ERROR semantics, retry provenance, attempt identity (credit @dariusbrandon880-art)
Abierto
- ¿Algo no está bien?
architecture Issue Tracker meta qwed security

Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

QWED-AI/qwed-verification#385 · 1 comentario · Abierto el 21/9/2026

Los mantenedores suelen responder en 1 día

Mostrando los 100 más recientes

Esta página solo lista lo indexado más recientemente. El filtro avanzado tiene el inventario completo, acotado por lenguaje, dificultad y duración.

Abrir el filtro avanzado

QWED-AI

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

¿Algo no está bien?

Mostrando los 100 más recientes

Recibe los nuevos issues en tu correo