Donating · 2026-06-01 → 2026-12-01 Fund 6 months of qagents · open-source · Lean4 axioms · AWS-hosted verifier read more →
femfas.net
  • Dockets
  • Letters
  • Routine
  • Racketeering
  • Retaliations
  • Donate
  • About
  • Home
  • Dockets
  • Letters
  • Routine
  • Racketeering
  • Retaliations
  • Donate
  • About

Donating · 2026-06-01 → 2026-12-01

Six months, open-source.

A homeless software engineer is open-sourcing a framework that makes court proceedings traceably verifiable. Help fund the next six months of public-service work.

Objective

To protect our families and children from the now meticulously documented and clearly manifested overreach and outright violations of constitutionally protected civil rights by our activist courts.
— Imre Kifor, project founder · 2026-05-12

The drive

Protect families and children from now-meticulously-documented overreach by activist courts. Six months funding open-source verification work — Lean4 + LLM predicates over federal + MA code; redacted-only AWS service; public monthly ledger. $5–$50/month; no major-donor tier.

Window: 2026-06-01 → 2026-12-01 (6 months) · Status: opens 2026-06-01 · Fixed monthly buckets: $300 (six-month floor $1800; AWS + SCOTUS variable on top).

GitHub Sponsors → opens 2026-06-01 OpenCollective → opens 2026-06-01

GitHub Sponsors carries the recurring badge on github.com/quantapix; OpenCollective publishes a transparent public ledger by default.

Three promises

  1. 1

    Open-sourced redacted qagents framework

    Public repos under github.com/quantapix/* carrying redacted slices of qagents — code, CLAUDE.md conventions, and redacted Claude Code session memory. Refreshed weekly.

    Owners: data/quantapix/ · every subproject (redaction inherited)

  2. 2

    Federal + Massachusetts code axiomatized

    Lean4 theorems with LLM-evaluated predicates covering the USC sections in scope and a started Mass. General Laws set. Every theorem cites legal/uscode/index.json or the MA equivalent.

    Owners: proving/ · accounting/ · legal/uscode/ · legal/macode/ (new)

  3. 3

    Running AWS-hosted verification service

    Live HTTPS endpoints qnarre.quantapix.com + qresev.quantapix.com accepting redacted complaints / portfolios and streaming verification events over SSE. Redacted input only — no PII ever reaches the servers or any LLM.

    Owners: serving/ · verifying/ · evaluating/

Four buckets

# Bucket Monthly Exclusive use
1 Claude Max20 subscription $200 Imre Kifor (sole user)
2 Midpage Legal MCP $100 Imre Kifor (sole user)
3 AWS billing variable qagents AWS account (serving/, verifying/, evaluating/)
4 Federal docketing fees variable SCOTUS petition filing fees
Nominal tiers: Witness $5 — The minimum the channels' processing fees comfortably permit. · Backer $10 — 30 backers cover Bucket 1. · Supporter $25 — 12 supporters cover Buckets 1 + 2. · Sponsor $50 — 6 sponsors cover Buckets 1 + 2; the rest flows to AWS + SCOTUS.

Carryover within a bucket across months is allowed and disclosed. Cross-bucket movement is not allowed. Excess flows into buckets 3 and 4.

Accountability

A monthly ledger lands within 5 calendar days of each month-end. Inflow by channel, four-bucket outflow with receipts, carryover, and one paragraph of progress per promise.

Monthly ledger: donating/ledger/YYYY-MM.md (within 5 days of month-end) · Weekly digest: donating/weekly/YYYY-WW.md (Fridays) · Public mirror: github.com/quantapix/qdonating-public.

Two consecutive missed weekly digests OR any missed monthly ledger breaks the *trivially verifiable* contract by its own terms; recovery requires a same-day disclosure note explaining what broke.

Record cross-references

The drive is cross-filed with the dockets below as a § 1746 affidavit. Federal dockets link to their entry on /dockets; state and local entries are listed for completeness.

  1. U.S. Court of Appeals, First Circuit · No. 26-1346

    Kifor v. Commonwealth of Massachusetts, et al.

    Principal brief Doc 00118432189; 4/27/2026 Status Affidavit Doc 00118437697 / Entry ID 6804893; 4/28/2026 chain-of-custody Doc 00118438630; fresh-harm record Doc 00118439659 (5/11/2026); 5/12/2026 Emergency Motion for Injunction Pending Appeal Doc 00118445745 + cross-filed § 1746 Affidavit on Public-Service Efforts and the Public Donation Drive Doc 00118445747 (Entry ID 6809309) — the federal-record wrapper this drive is anchored on; 11-volume Record Appendix

  2. U.S. District Court, District of Massachusetts · 1:25-cv-11831-AK

    Kifor v. Commonwealth of Massachusetts, et al. (Kelley, D.J.)

    IFP Order 3/25/2026; mailing-address affidavit Dkt. 28-9; shelter-address acceptance Dkt. 36 (4/27/2026)

  3. Supreme Court of the United States · No. 25-6878

    Kifor v. Massachusetts

    Rule 39.8 dismissal 4/27/2026; address line of dismissed petition is itself part of the documented Mass. no-PO-Box pattern

  4. Mass. Appeals Court · (J-docket TBD)

    Petition for Interlocutory Relief, G.L. c. 231 § 118 ¶ 1

    Filed 2026-05-12 from Middlesex Probate and Family Court's implicit denial of homeless-shelter PO Box as valid address of record

  5. Probate and Family Court, Middlesex Division · 07D-3172-DV1; 11W-0787-WD / 11W-1147-WD

    Renewed Complaints for Modification + cross-filed Affidavit on Public-Service Efforts and the Public Donation Drive

    Same affidavit body, three captions: federal § 1746 wrapper supports the USCA1 Emergency Motion for Injunction Pending Appeal

Privacy floor

Service accepts only redacted documents.

No real names, dockets, addresses, financial account numbers, or other PII ever flow to the server side or to any LLM. Redaction pipeline inherits from legal/public/ staging.

Contact

Drive questions: quantapix@gmail.com. Litigation questions are out of scope — see the dockets and the relevant clerk's office.

femfas.net v2.0.0 · last updated 2026-05-04

Pro se civil-rights record, 2019–2026. This site is an evidence archive, not legal advice.

quantapix@gmail.com GitHub