Summary
Tarheel Tactics, LLC (T2) is a DevSecOps App Factory specializing in AI/ML-driven software solutions. Our initial initiative, MANTAU (Multimodal Adaptive Naval Transformation Architecture for ICS-DSM Unification), seeks to automate the transformation of unstructured Agency technical spec documentation into formally verified, runtime-agnostic Domain-Specific Models (DSMs). This aligns strategically with modernization initiatives throughout public and private sectors regarding enablement of compliant AI-native infra, interoperability and modernization objectives, as well as more holistic efficiency and compliance directives.
Current Capabilities
Automated DSM Generation and Verification
Leveraging advanced AI including LLM app stacks, T2 initially strives to automate the ingestion of unstructured technical documentation (e.g., Interface Control Documents), transforming entities into verified DSMs suitable for operational and simulation environments.
Formally Verified Ontological Foundation
Utilizing TLA+ specifications, Protobuf encoding, and symbolic model checking to guarantee correctness, interoperability, and runtime compatibility, reducing integration risks and operational costs.
Agentic AI and DevSecOps Integration
Employing advanced AI methodologies including semantic search, retrieval-augmented generation (RAG), multi-agent orchestration (LangChain, ReAct), and explainable workflows to ensure compliance and transparency.
Government-First Compliance and Interoperability
Designed specifically for seamless integration with government ecosystems (e.g. Black Pearl, Forge, Foundry, CSL), ensuring immediate utility and minimizing integration complexity.
Runtime-Agnostic Foundations
Utilizes TLA+ and Protobuf to provide rigorous correctness, scalability, and runtime compatibility across diverse computing environments.
Open Standards and Sustainability
Committed to open standards, transparency, and avoiding vendor lock-in, ensuring long-term adaptability and mission-critical resilience.
Past Performance & Experience
Developed and deployed secure, compliant DevSecOps pipelines covering multiple frontend and backend products supporting interactive teaching and learning with continuous Authorization to Operate (cATO) at IL5+ via Platform One serving thousands of Warfighters. Expertise integrating AI-native stacks into complex operational and regulated environments with “human in the loop” workflows.
NAICS & Classification Codes
Small Business Certifications
Keywords
DevSecOps, AI, ML, DSM, TLA+, Protobuf, Formal Verification, Specification Generation, Specification Language, Semantic Search, Retrieval-Augmented Generation (RAG), Agentic workflows, LangChain, ReAct, Zero Trust, Cybersecurity, Interoperability, Automation, and Systems Integration.
Principal Background
Morgan Howell, Founder
Email: morgan@tarheeltactics.com
Phone: +1 (650) 304-4791
Past Work: Senior Eng @ Meta, Founding Engineer and Director of Engineer @ L2W, Founder of Stock Alarm, Co-Founder of Snapchain, Engineer @ Roblox