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.

7,859 contractorsSearch time 223 msSearch engine: Typesense

Skip filters, go to results

Search results

41–60 of 7,859

  1. AMENTUM SERVICES, INC.

    dba LEAR SIEGLER SERVICEGERMANTOWN, MDMission sector: Logistics & Base Ops +6 more: Cyber & C5ISR, Aerospace & UAS, AI & Deep Tech R&D, SETA & Engineering, MILCON & Facilities, Medical & Readiness

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

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

    $647.9M obligated, last 36 months · Department of the Army
  2. EAGLE HARBOR, LLC

    ANCHORAGE, AKMission sector: Cyber & C5ISR +4 more: Aerospace & UAS, SETA & Engineering, Logistics & Base Ops, Medical & Readiness

    Unclaimed profile
    UEIKYNNE53LWS99CAGE7ZH98NAICS518210
    • 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 14, 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 14, 2026)

    Contract vehicles:GSA Multiple Award Schedule (MAS) · PrimeOASIS+ (One Acquisition Solution for Integrated Services Plus) · Prime
    Socio-economic status (SAM.gov):Small businessSDB8(a)ANC
    $642.8M obligated, last 36 months · Bureau of Alcohol, Tobacco, Firearms and Explosives Acquisition and Property Management Division, Drug Enforcement Administration
  3. EASTERN RESEARCH GROUP INC

    dba ERG, INCCONCORD, MAMission sector: Cyber & C5ISR +5 more: AI & Deep Tech R&D, SETA & Engineering, Logistics & Base Ops, MILCON & Facilities, Medical & Readiness

    Unclaimed profile
    UEIDK4TBEJRAR56CAGE00GP8NAICS541620
    • Subcontracted for APPLIED RESEARCH ASSOCIATES, INC., CGI FEDERAL INC.. 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 14, 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 14, 2026)

    Contract vehicles:GSA Multiple Award Schedule (MAS) · PrimeOASIS+ (One Acquisition Solution for Integrated Services Plus) · PrimeSeaPort-NxG (SeaPort Next Generation) · Prime
    Socio-economic status (SAM.gov):Small business
    $616.4M obligated, last 36 months · Environmental Protection Agency, Department of the Navy
  4. PARSONS GOVERNMENT SERVICES INC.

    dba PARSONSCENTREVILLE, 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
    UEINMBCAG1JBKL7CAGE1BVK6NAICS541330
    • Subcontracted for APPLIED RESEARCH SOLUTIONS, INC., BAE SYSTEMS TECHNOLOGY SOLUTIONS & SERVICES INC. +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 14, 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 14, 2026)

    Contract vehicles:Air Force EWAAC (Eglin Wide Agile Acquisition Contract) · PrimeAlliant 2 · PrimeAlliant 3 · Prime+7 more
    $612.1M obligated, last 36 months · Federal Acquisition Service
  5. SPATIAL FRONT INC

    BETHESDA, MDMission sector: AI & Deep Tech R&D +3 more: Cyber & C5ISR, SETA & Engineering, Logistics & Base Ops

    Unclaimed profile
    UEIJ1ADW6BL8MN5CAGE5XGW3NAICS541715
    • 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 14, 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 14, 2026)

    Contract vehicles:8(a) STARS III (Streamlined Technology Acquisition Resources for Services) · PrimeGSA Multiple Award Schedule (MAS) · PrimeMDA SHIELD (Scalable Homeland Innovative Enterprise Layered Defense) · Prime+2 more
    Socio-economic status (SAM.gov):Small business
    $608.3M obligated, last 36 months · Office of the Chief Financial Officer, U.S. Census Bureau
  6. JACOBS ENGINEERING GROUP INC.

    dba JACOBS ENGINEERING GROUP INCARLINGTON, VAMission sector: SETA & Engineering +2 more: AI & Deep Tech R&D, MILCON & Facilities

    Unclaimed profile
    UEILKTBLK9RBZ53CAGE4N4A8NAICS541330
    • Subcontracted for SCIENCE APPLICATIONS INTERNATIONAL CORPORATION. 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 14, 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 14, 2026)

    Contract vehicles:GSA Multiple Award Schedule (MAS) · Prime
    $595.5M obligated, last 36 months · U.S. Customs and Border Protection, Federal Aviation Administration
  7. CYNERGY PROFESSIONAL SYSTEMS LLC

    MISSION VIEJO, CAMission 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
    UEIGK55J77VGN84CAGE5QEP7NAICS541519
    • Subcontracted for HONEYWELL INTERNATIONAL INC., HONEYWELL FEDERAL MANUFACTURING & TECHNOLOGIES, LLC. 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 14, 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 14, 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+1 more
    Socio-economic status (SAM.gov):Small businessSDBWOSBVOSBSDVOSB
    $567.6M obligated, last 36 months · Department of Veterans Affairs, U.S. Immigration and Customs Enforcement
  8. CALIBRE SYSTEMS INC

    ALEXANDRIA, VAMission sector: SETA & Engineering +6 more: Cyber & C5ISR, Aerospace & UAS, AI & Deep Tech R&D, Logistics & Base Ops, MILCON & Facilities, Medical & Readiness

    Unclaimed profile
    UEIKHGARY8DHL23CAGE0EUA6NAICS541611
    • Subcontracted for HALVIK CORP, NEXTSTEP TECHNOLOGY, INC +5 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 14, 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 14, 2026)

    Contract vehicles:GSA Multiple Award Schedule (MAS) · PrimeMDA SHIELD (Scalable Homeland Innovative Enterprise Layered Defense) · PrimeOASIS+ (One Acquisition Solution for Integrated Services Plus) · Prime+1 more
    Socio-economic status (SAM.gov):Small business
    $541.3M obligated, last 36 months · Department of the Army, Department of Veterans Affairs
  9. WSP USA INC

    Ephrata, PAMission sector: MILCON & Facilities +3 more: Cyber & C5ISR, SETA & Engineering, Logistics & Base Ops

    Unclaimed profile
    UEIC76NUJZDXL75CAGE1U1W9NAICS541620
    • 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 14, 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 14, 2026)

    Contract vehicles:GSA Multiple Award Schedule (MAS) · Prime
    $536.8M obligated, last 36 months · Department of the Navy, Department of the Air Force
  10. GREENBRIER GOVERNMENT SOLUTIONS INC

    OCEANA, WVMission 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
    UEIKVMTJANNET58CAGE7HST2NAICS541519
    • Subcontracted for ACCENTURE FEDERAL SERVICES LLC, INSIGNIA TECHNOLOGY SERVICES, LLC +2 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 14, 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 14, 2026)

    Contract vehicles:GSA Multiple Award Schedule (MAS) · PrimeNASA SEWP V (Solutions for Enterprise-Wide Procurement) · PrimeNASA SEWP VI (Solutions for Enterprise-Wide Procurement) · Prime
    Socio-economic status (SAM.gov):Small businessSDBVOSBSDVOSB
    $496.1M obligated, last 36 months · Department of Veterans Affairs, Department of the Air Force
  11. LYNKER CORPORATION

    LEESBURG, VAMission sector: Cyber & C5ISR +6 more: Space & SatCom, AI & Deep Tech R&D, SETA & Engineering, Logistics & Base Ops, MILCON & Facilities, Medical & Readiness

    Unclaimed profile
    UEIMCLPKDBCDKY7CAGE56F28NAICS541519
    • 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 14, 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 14, 2026)

    Contract vehicles:GSA Multiple Award Schedule (MAS) · PrimeOASIS+ (One Acquisition Solution for Integrated Services Plus) · Prime
    $471.9M obligated, last 36 months · National Oceanic and Atmospheric Administration, National Science Foundation
  12. DGCI CORPORATION

    dba DGCI TECHNOLOGY CORPMC LEAN, VAMission sector: Logistics & Base Ops +4 more: Cyber & C5ISR, SETA & Engineering, MILCON & Facilities, Medical & Readiness

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

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

    Socio-economic status (SAM.gov):Small business
    $471.6M obligated, last 36 months · Defense Logistics Agency, Defense Contract Management Agency
  13. DIGIFLIGHT INCORPORATED

    dba DIGIFLIGHTCOLUMBIA, MDMission 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
    UEIN5QDXLYW5338CAGE1S6C9NAICS541330
    • Subcontracted for ALION SCIENCE AND TECHNOLOGY CORPORATION, HII MISSION TECHNOLOGIES CORP. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • SBIR/STTR · 1 award. SBIR/STTR awardee: Phase III-eligible for work derived from its SBIR/STTR projects. Source: SBIR.gov, as of Nov 12, 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 14, 2026). Source: ITA Consolidated Screening List

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

    Contract vehicles:Army EXPRESS BPAs (Expedited Professional and Engineering Support Services) · PrimeGSA Multiple Award Schedule (MAS) · PrimeMDA SHIELD (Scalable Homeland Innovative Enterprise Layered Defense) · Prime+1 more
    Socio-economic status (SAM.gov):Small businessVOSB
    $462.1M obligated, last 36 months · Department of the Army, Missile Defense Agency
  14. ARCADIS U.S., INC.

    HIGHLANDS RANCH, COMission sector: SETA & Engineering +2 more: Logistics & Base Ops, MILCON & Facilities

    Unclaimed profile
    UEIMNG1DTKJ1LZ3CAGE005Q6NAICS541330
    • Subcontracted for HDR ARCHITECTURE, INC., PANTEXAS DETERRENCE, LLC +1 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 14, 2026). Source: ITA Consolidated Screening List

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

    Contract vehicles:OASIS+ (One Acquisition Solution for Integrated Services Plus) · Prime
    $447M obligated, last 36 months · Department of the Army, Department of the Air Force
  15. NAKUPUNA CONSULTING LLC

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

    Unclaimed profile
    UEIFAP4HJHRMJU3CAGE8QP08NAICS541519
    • Subcontracted for DELOITTE CONSULTING LLP. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • No confirmed screening-list match. No confirmed match on the Consolidated Screening List (screened Nov 14, 2026). Source: ITA Consolidated Screening List

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

    Socio-economic status (SAM.gov):Small business
    $444.7M obligated, last 36 months · Department of the Navy, Washington Headquarters Services
  16. AVION SOLUTIONS, INC.

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

    Unclaimed profile
    UEIMX5FLJ621JJ3CAGE1BFU7NAICS541715
    • Subcontracted for TORCH TECHNOLOGIES INC, INTUITIVE RESEARCH AND TECHNOLOGY CORPORATION +5 more. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • SBIR/STTR · 2 awards. SBIR/STTR awardee: Phase III-eligible for work derived from its SBIR/STTR projects. Source: SBIR.gov, as of Nov 12, 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 14, 2026). Source: ITA Consolidated Screening List

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

    Contract vehicles:GSA Multiple Award Schedule (MAS) · PrimeMDA SHIELD (Scalable Homeland Innovative Enterprise Layered Defense) · PrimeOASIS+ (One Acquisition Solution for Integrated Services Plus) · Prime+1 more
    Socio-economic status (SAM.gov):Small business
    $442.2M obligated, last 36 months · Department of the Army, Department of the Navy
  17. VSOLVIT LLC

    HENDERSON, NVMission sector: SETA & Engineering +3 more: Cyber & C5ISR, AI & Deep Tech R&D, Logistics & Base Ops

    Unclaimed profile
    UEIGKSKWF5HL5H8CAGE4L5L8NAICS541330
    • Subcontracted for CACI, INC. - FEDERAL, SEV1TECH, LLC. Source: USAspending.gov sub-awards (FSRS) (prime-reported)
    • SBIR/STTR · 2 awards. SBIR/STTR awardee: Phase III-eligible for work derived from its SBIR/STTR projects. Source: SBIR.gov, as of Nov 12, 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 14, 2026). Source: ITA Consolidated Screening List

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

    Contract vehicles:Alliant 3 · PrimeGSA Multiple Award Schedule (MAS) · PrimeMDA SHIELD (Scalable Homeland Innovative Enterprise Layered Defense) · Prime+3 more
    $438.4M obligated, last 36 months · Department of the Navy, Drug Enforcement Administration
  18. CHEROKEE NATION SYSTEM SOLUTIONS LLC

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

    Unclaimed profile
    UEIFMWVU3EYSVF7CAGE7LSU0NAICS541513
    • 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 14, 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 14, 2026)

    Contract vehicles:8(a) STARS III (Streamlined Technology Acquisition Resources for Services) · PrimeGSA Multiple Award Schedule (MAS) · Prime
    Socio-economic status (SAM.gov):Small businessSDBHUBZoneTribally owned
    $407.5M obligated, last 36 months · Department of State, Department of the Air Force
  19. ANALEX CORPORATION

    dba ARCFIELDCHANTILLY, VAMission sector: SETA & Engineering +6 more: Cyber & C5ISR, Space & SatCom, AI & Deep Tech R&D, Defense Mfg & Maritime, Logistics & Base Ops, Medical & Readiness

    Unclaimed profile
    UEICWLNZ4TJCLE4CAGE05BD6NAICS541330
    • Subcontracted for BOEING COMPANY, THE, BOOZ ALLEN HAMILTON INC. +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 14, 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 14, 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+2 more
    $404.4M obligated, last 36 months · Department of the Navy, Defense Contract Management Agency
  20. DIGITAL MANAGEMENT LLC

    MC LEAN, VAMission sector: Cyber & C5ISR +2 more: AI & Deep Tech R&D, SETA & Engineering

    Unclaimed profile
    UEIEMACGJ3EEAT5CAGE3BDL8NAICS541519
    • Subcontracted for SAVVEE CONSULTING, INC., LEIDOS, INC. +4 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 14, 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 14, 2026)

    Contract vehicles:Alliant 2 · PrimeGSA Multiple Award Schedule (MAS) · PrimeITES-3S (Information Technology Enterprise Solutions – 3 Services) · Prime+2 more
    Socio-economic status (SAM.gov):Small business
    $388.4M obligated, last 36 months · Department of the Army, Federal Acquisition Service

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