Skip to main content
TeamingIndex

Contractor directory

Find teaming partners

Search federal, defense and aerospace contractors by verified CMMC level, blind SPRS bracket, facility clearance, ITAR, contract vehicle, NAICS and set-aside. No account needed.

19,786 contractorsSearch time 285 msSearch engine: Typesense

Skip filters, go to results

Search results

1–20 of 19,786

  1. BOOZ ALLEN HAMILTON INC

    MCLEAN, VAMission sector: Cyber & C5ISR +8 more: Aerospace & UAS, Space & SatCom, AI & Deep Tech R&D, Defense Mfg & Maritime, SETA & Engineering, Logistics & Base Ops, MILCON & Facilities, Medical & Readiness

    Unclaimed profile
    UEIJCBMLGPE6Z71CAGE17038NAICS541512
    • Subcontracted for CONSOLIDATED NUCLEAR SECURITY LLC, SMARTRONIX, LLC +23 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • GSA MAS contract. Source: USAspending.gov contract records and GSA CALC+, as of Nov 13, 2026
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; USAspending.gov contract records and GSA CALC+ (as of Nov 13, 2026); ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:Air Force Base Infrastructure Modernization Services IDIQ (solicitation FA872624RB015) · PrimeAir Force EWAAC (Eglin Wide Agile Acquisition Contract) · PrimeAlliant 2 · Prime+12 more
    $35.1B obligated, last 36 months · Federal Acquisition Service, Department of the Air Force
  2. ACCENTURE FEDERAL SERVICES LLC

    ARLINGTON, VAMission sector: Cyber & C5ISR +5 more: AI & Deep Tech R&D, SETA & Engineering, Logistics & Base Ops, MILCON & Facilities, Medical & Readiness

    Unclaimed profile
    UEIC47BNA8GM833CAGE1ZD18NAICS541511
    • Subcontracted for BOOZ ALLEN HAMILTON INC., GENERAL DYNAMICS INFORMATION TECHNOLOGY, INC. +19 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • FedRAMP Authorized. Source: FedRAMP Marketplace, as of Nov 13, 2026
    • GSA MAS contract. Source: USAspending.gov contract records and GSA CALC+, as of Nov 13, 2026
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; FedRAMP Marketplace (as of Nov 13, 2026); USAspending.gov contract records and GSA CALC+ (as of Nov 13, 2026); ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:Air Force EWAAC (Eglin Wide Agile Acquisition Contract) · PrimeAlliant 2 · PrimeAlliant 3 · Prime+8 more
    $18.3B obligated, last 36 months · Department of Education, Department of the Army
  3. ATLANTIC DIVING SUPPLY, INC.

    dba ADSVIRGINIA BEACH, VAMission sector: Cyber & C5ISR +7 more: Aerospace & UAS, AI & Deep Tech R&D, Defense Mfg & Maritime, SETA & Engineering, Logistics & Base Ops, MILCON & Facilities, Medical & Readiness

    Unclaimed profile
    UEIGJMSFBCNMSK3CAGE1CAY9NAICS339999
    • Subcontracted for BOOZ ALLEN HAMILTON INC., CONSOLIDATED NUCLEAR SECURITY LLC +11 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • GSA MAS contract. Source: USAspending.gov contract records and GSA CALC+, as of Nov 13, 2026
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; USAspending.gov contract records and GSA CALC+ (as of Nov 13, 2026); ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:Air Force EWAAC (Eglin Wide Agile Acquisition Contract) · PrimeGSA Multiple Award Schedule (MAS) · PrimeITES-4H (Information Technology Enterprise Solutions – 4 Hardware) · Prime+2 more
    Socio-economic status (SAM.gov):Small business
    $15.3B obligated, last 36 months · Defense Logistics Agency, Federal Acquisition Service
  4. DELOITTE CONSULTING LLP

    ARLINGTON, VAMission sector: SETA & Engineering +6 more: Cyber & C5ISR, Aerospace & UAS, AI & Deep Tech R&D, Defense Mfg & Maritime, Logistics & Base Ops, Medical & Readiness

    Unclaimed profile
    UEICKV2L9GZKJK3CAGE1TTG5NAICS541611
    • Subcontracted for CONVISO-V LLC, DIGITAL INFUZION, INC. +23 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • GSA MAS contract. Source: USAspending.gov contract records and GSA CALC+, as of Nov 13, 2026
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; USAspending.gov contract records and GSA CALC+ (as of Nov 13, 2026); ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:Alliant 2 · PrimeAlliant 3 · PrimeCMS SPARC · Prime+6 more
    $14.2B obligated, last 36 months · Federal Acquisition Service, Internal Revenue Service
  5. CARAHSOFT TECHNOLOGY CORP

    RESTON, VAMission sector: SETA & Engineering +3 more: Cyber & C5ISR, AI & Deep Tech R&D, Medical & Readiness

    Unclaimed profile
    UEIDT8KJHZXVJH5CAGE4VRA5NAICS541618
    • Subcontracted for SCIENCE APPLICATIONS INTERNATIONAL CORPORATION, CACI, INC. - FEDERAL +23 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • FedRAMP Authorized. Source: FedRAMP Marketplace, as of Nov 13, 2026
    • GSA MAS contract. Source: USAspending.gov contract records and GSA CALC+, as of Nov 13, 2026
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; FedRAMP Marketplace (as of Nov 13, 2026); USAspending.gov contract records and GSA CALC+ (as of Nov 13, 2026); ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:GSA Multiple Award Schedule (MAS) · PrimeITES-SW2 (Information Technology Enterprise Solutions – Software 2) · PrimeMDA SHIELD (Scalable Homeland Innovative Enterprise Layered Defense) · Prime+3 more
    $8.2B obligated, last 36 months · Department of the Army, Department of the Air Force
  6. QTC MEDICAL SERVICES INC

    dba LEIDOS QTC HEALTH SERVICESSAN ANTONIO, TXMission sector: Medical & Readiness +2 more: Cyber & C5ISR, SETA & Engineering

    Unclaimed profile
    UEIGN8YP96TMPK6CAGE5AR96NAICS621111
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from ITA Consolidated Screening List (as of Nov 13, 2026)

    $7.8B obligated, last 36 months · Department of Veterans Affairs, Department of the Army
  7. HII MISSION TECHNOLOGIES CORP

    MC LEAN, VAMission sector: SETA & Engineering +8 more: Cyber & C5ISR, Aerospace & UAS, Space & SatCom, AI & Deep Tech R&D, Defense Mfg & Maritime, Logistics & Base Ops, MILCON & Facilities, Medical & Readiness

    Unclaimed profile
    UEIG5H7HWC4L2R5CAGE3BM51NAICS541330
    • Subcontracted for MODERN TECHNOLOGY SOLUTIONS, INC., CONCURRENT TECHNOLOGIES CORPORATION +15 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • GSA MAS contract. Source: USAspending.gov contract records and GSA CALC+, as of Nov 13, 2026
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; USAspending.gov contract records and GSA CALC+ (as of Nov 13, 2026); ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:Air Force EWAAC (Eglin Wide Agile Acquisition Contract) · PrimeGSA Multiple Award Schedule (MAS) · PrimeMDA SHIELD (Scalable Homeland Innovative Enterprise Layered Defense) · Prime+3 more
    $7.2B obligated, last 36 months · Federal Acquisition Service, Department of the Navy
  8. MANTECH ADVANCED SYSTEMS INTERNATIONAL, INC.

    HERNDON, VAMission sector: Aerospace & UAS +7 more: Cyber & C5ISR, Space & SatCom, AI & Deep Tech R&D, Defense Mfg & Maritime, SETA & Engineering, Logistics & Base Ops, Medical & Readiness

    Unclaimed profile
    UEIJY2BDT2K58Z6CAGE5N741NAICS336411
    • Subcontracted for GENERAL DYNAMICS INFORMATION TECHNOLOGY, INC., BOOZ ALLEN HAMILTON INC +13 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • GSA MAS contract. Source: USAspending.gov contract records and GSA CALC+, as of Nov 13, 2026
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; USAspending.gov contract records and GSA CALC+ (as of Nov 13, 2026); ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:Air Force EWAAC (Eglin Wide Agile Acquisition Contract) · PrimeAlliant 2 · PrimeAlliant 3 · Prime+9 more
    $6.1B obligated, last 36 months · Federal Acquisition Service, Department of State
  9. OPTUMSERVE HEALTH SERVICES, INC.

    LA CROSSE, WIMission sector: Medical & Readiness +3 more: Cyber & C5ISR, SETA & Engineering, Logistics & Base Ops

    Unclaimed profile
    UEIG5XXLHZSW8X3CAGE1RTW6NAICS621111
    • GSA MAS contract. Source: USAspending.gov contract records and GSA CALC+, as of Nov 13, 2026
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov contract records and GSA CALC+ (as of Nov 13, 2026); ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:GSA Multiple Award Schedule (MAS) · Prime
    $6.1B obligated, last 36 months · Department of Veterans Affairs, Centers for Disease Control and Prevention
  10. DELL MARKETING L.P.

    ROUND ROCK, TXMission sector: Cyber & C5ISR +1 more: Defense Mfg & Maritime

    Unclaimed profile
    UEIHJLSY7RZV8X6CAGE3DMD3NAICS334111
    • Subcontracted for LEIDOS, INC., CACI, INC. - FEDERAL +8 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • GSA MAS contract. Source: USAspending.gov contract records and GSA CALC+, as of Nov 13, 2026
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; USAspending.gov contract records and GSA CALC+ (as of Nov 13, 2026); ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:GSA Multiple Award Schedule (MAS) · Prime
    $5.4B obligated, last 36 months · Department of the Air Force, Defense Information Systems Agency
  11. AMENTUM TECHNOLOGY, INC.

    TULLAHOMA, TNMission sector: SETA & Engineering +8 more: Cyber & C5ISR, Aerospace & UAS, Space & SatCom, AI & Deep Tech R&D, Defense Mfg & Maritime, Logistics & Base Ops, MILCON & Facilities, Medical & Readiness

    Unclaimed profile
    UEIH2RGSKWXKHQ5CAGE07486NAICS541330
    • Subcontracted for INTERNATIONAL BUSINESS MACHINES CORPORATION, BOEING COMPANY, THE +3 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:Alliant 2 · PrimeITES-3S (Information Technology Enterprise Solutions – 3 Services) · PrimeOASIS+ (One Acquisition Solution for Integrated Services Plus) · Prime+2 more
    $5.1B obligated, last 36 months · National Aeronautics and Space Administration, Department of the Air Force
  12. FCN, INC.

    ROCKVILLE, MDMission sector: Cyber & C5ISR +7 more: Aerospace & UAS, Space & SatCom, AI & Deep Tech R&D, Defense Mfg & Maritime, SETA & Engineering, MILCON & Facilities, Medical & Readiness

    Unclaimed profile
    UEIJEANDJTZ8HJ3CAGE0WU14NAICS423430
    • Subcontracted for GENERAL DYNAMICS INFORMATION TECHNOLOGY, INC., DRS LAUREL TECHNOLOGIES +23 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • GSA MAS contract. Source: USAspending.gov contract records and GSA CALC+, as of Nov 13, 2026
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; USAspending.gov contract records and GSA CALC+ (as of Nov 13, 2026); ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:GSA Multiple Award Schedule (MAS) · PrimeITES-4H (Information Technology Enterprise Solutions – 4 Hardware) · PrimeMDA SHIELD (Scalable Homeland Innovative Enterprise Layered Defense) · Prime+2 more
    Socio-economic status (SAM.gov):Small businessWOSB
    $4B obligated, last 36 months · Internal Revenue Service, Department of the Air Force
  13. FOUR POINTS TECHNOLOGY, L.L.C.

    HERNDON, VAMission sector: Cyber & C5ISR

    Unclaimed profile
    UEIH1KHJPJH9R51CAGE1YS78NAICS541519
    • Subcontracted for CONSOLIDATED NUCLEAR SECURITY LLC, ACCENTURE FEDERAL SERVICES LLC +10 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • GSA MAS contract. Source: USAspending.gov contract records and GSA CALC+, as of Nov 13, 2026
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; USAspending.gov contract records and GSA CALC+ (as of Nov 13, 2026); ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:GSA Multiple Award Schedule (MAS) · PrimeNASA SEWP V (Solutions for Enterprise-Wide Procurement) · Prime
    Socio-economic status (SAM.gov):Small businessVOSBSDVOSB
    $3.9B obligated, last 36 months · Department of Veterans Affairs, Social Security Administration
  14. OAK RIDGE ASSOCIATED UNIVERSITIES, INCORPORATED

    OAK RIDGE, TNMission sector: SETA & Engineering +6 more: Cyber & C5ISR, AI & Deep Tech R&D, Defense Mfg & Maritime, Logistics & Base Ops, MILCON & Facilities, Medical & Readiness

    Unclaimed profile
    UEIJW7MLW3RRK34CAGE8E862NAICS541690
    • Subcontracted for CONSOLIDATED NUCLEAR SECURITY LLC, TRIAD NATIONAL SECURITY, LLC +3 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • GSA MAS contract. Source: USAspending.gov contract records and GSA CALC+, as of Nov 13, 2026
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; USAspending.gov contract records and GSA CALC+ (as of Nov 13, 2026); ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:GSA Multiple Award Schedule (MAS) · PrimeOASIS+ (One Acquisition Solution for Integrated Services Plus) · PrimeSeaPort-NxG (SeaPort Next Generation) · Prime
    $3.7B obligated, last 36 months · Department of Energy, Centers for Disease Control and Prevention
  15. LOCKHEED MARTIN CORPORATION

    LEXINGTON, KYMission sector: Aerospace & UAS +2 more: Cyber & C5ISR, Logistics & Base Ops

    Unclaimed profile
    UEIJKVWEPKJRR65CAGE622B7NAICS561990
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from ITA Consolidated Screening List (as of Nov 13, 2026)

    $3.6B obligated, last 36 months · U.S. Special Operations Command
  16. KBR WYLE SERVICES, LLC

    LANHAM, MDMission sector: SETA & Engineering +4 more: Cyber & C5ISR, AI & Deep Tech R&D, Logistics & Base Ops, Medical & Readiness

    Unclaimed profile
    UEIHYBLSJAMM2F4CAGE1DDX3NAICS541330
    • Subcontracted for BOEING COMPANY, THE, HALVIK CORP +12 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:Alliant 3 · PrimeCMS SPARC · Prime
    $3.5B obligated, last 36 months · National Aeronautics and Space Administration, U.S. Special Operations Command
  17. HII MISSION TECHNOLOGIES CORP

    WILLOWBROOK, ILMission sector: SETA & Engineering +8 more: Cyber & C5ISR, Aerospace & UAS, Space & SatCom, AI & Deep Tech R&D, Defense Mfg & Maritime, Logistics & Base Ops, MILCON & Facilities, Medical & Readiness

    Unclaimed profile
    UEIGS7HBMNZEMK3CAGE3BM47NAICS541611
    • Subcontracted for PEERLESS TECHNOLOGIES CORPORATION. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:IAC MAC (DoD Information Analysis Center Multiple Award Contract) · PrimeRS3 (Responsive Strategic Sourcing for Services) · Prime
    $3.5B obligated, last 36 months · Department of the Air Force, Department of the Navy
  18. V3GATE, LLC

    dba V3GATECOLORADO SPRINGS, COMission sector: Cyber & C5ISR +7 more: Aerospace & UAS, Space & SatCom, AI & Deep Tech R&D, Defense Mfg & Maritime, SETA & Engineering, Logistics & Base Ops, Medical & Readiness

    Unclaimed profile
    UEIJ4KHM5JY79E3CAGE57D99NAICS541519
    • Subcontracted for PANTEXAS DETERRENCE, LLC, CONSOLIDATED NUCLEAR SECURITY LLC +12 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • GSA MAS contract. Source: USAspending.gov contract records and GSA CALC+, as of Nov 13, 2026
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; USAspending.gov contract records and GSA CALC+ (as of Nov 13, 2026); ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:GSA Multiple Award Schedule (MAS) · PrimeMDA SHIELD (Scalable Homeland Innovative Enterprise Layered Defense) · PrimeNASA SEWP V (Solutions for Enterprise-Wide Procurement) · Prime+2 more
    Socio-economic status (SAM.gov):Small businessVOSBSDVOSB
    $3.3B obligated, last 36 months · Department of Veterans Affairs, Internal Revenue Service
  19. VERIZON BUSINESS NETWORK SERVICES LLC

    ASHBURN, VAMission sector: Cyber & C5ISR +4 more: Space & SatCom, AI & Deep Tech R&D, SETA & Engineering, Logistics & Base Ops

    Unclaimed profile
    UEIGEYFS4D96R55CAGE1L027NAICS517111
    • Subcontracted for LEIDOS, INC., ACCENTURE FEDERAL SERVICES LLC +4 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:EIS (Enterprise Infrastructure Solutions) · PrimeSeaPort-NxG (SeaPort Next Generation) · Prime
    $3.2B obligated, last 36 months · Defense Information Systems Agency, Office of the Assistant Secretary for Financial Resources
  20. AECOM TECHNICAL SERVICES, INC.

    dba AECOM TECHNICAL SERVICES INCLOS ANGELES, CAMission sector: SETA & Engineering +4 more: Cyber & C5ISR, AI & Deep Tech R&D, Logistics & Base Ops, MILCON & Facilities

    Unclaimed profile
    UEIEPUXNLX5EYC4CAGE4L767NAICS541330
    • Subcontracted for BB&E, INC., TRIAD NATIONAL SECURITY, LLC +3 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • GSA MAS contract. Source: USAspending.gov contract records and GSA CALC+, as of Nov 13, 2026
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 13, 2026). Source: ITA Consolidated Screening List

    Government data from USAspending.gov sub-awards (FSRS), prime-reported; USAspending.gov contract records and GSA CALC+ (as of Nov 13, 2026); ITA Consolidated Screening List (as of Nov 13, 2026)

    Contract vehicles:DOE ESPC IDIQ Generation 4 (Energy Savings Performance Contract) · PrimeGSA Multiple Award Schedule (MAS) · PrimeMDA SHIELD (Scalable Homeland Innovative Enterprise Layered Defense) · Prime+2 more
    $3B obligated, last 36 months · Department of the Navy, Department of the Army

Directory facts come from SAM.gov and USAspending (synced nightly) and from profiles managed by the companies themselves. Every badge says who vouches for it: “verified” means TeamingIndex checked the credential; SPRS appears only as a blind bracket. How verification works