Skip to content

Commit 2b100f3

Browse files
committed
Added "QWED-AI" to program
1 parent 1a89c67 commit 2b100f3

1 file changed

Lines changed: 24 additions & 0 deletions

File tree

data/1464-qwed-ai.json

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
{
2+
"account": "qwed-ai.1password.com",
3+
"project": {
4+
"name": "QWED-AI",
5+
"description": "QWED-AI is an open-source ecosystem that provides deterministic formal verification rails for LLM agents, ensuring mathematically proven safety and accuracy across logic, finance, tax, and legal domains using symbolic solvers.",
6+
"contributors": 1,
7+
"home_url": "https://github.com/QWED-AI",
8+
"repo_url": "https://github.com/QWED-AI/qwed-verification",
9+
"license_type": "Apache 2.0",
10+
"license_url": "https://github.com/QWED-AI/qwed-verification?tab=Apache-2.0-1-ov-file",
11+
"is_event": false,
12+
"is_team": true
13+
},
14+
"applicant": {
15+
"name": "Rahul Dass",
16+
"email": "rahul@qwedai.com",
17+
"role": "Founder or Owner",
18+
"id": 204582387
19+
},
20+
"can_contact": true,
21+
"approver_id": 80355868,
22+
"issue_number": 1464,
23+
"created_at": "2026-03-06T22:29:31Z"
24+
}

0 commit comments

Comments
 (0)