Real US Army, Navy, Marine Corps, and Air Force doctrine.
AI-powered answers with cryptographic proof on blockchain — no hallucinations, no trust required.
Get doctrine in seconds during planning or ops — with cryptographic proof no one doctored the output.
Train teams on real field manuals without digging through PDFs. Every answer links directly to the source.
Build agents that cite sources cryptographically. Never get called out on fake citations again.
After any search, click Search with Provenance to generate a cryptographic ZK proof — then verify it live on Horizen via zkVerify. The flow below shows how your query gets tied to the blockchain.
See what documents are in the live corpus — titles, sources, and descriptions. 525,000+ pages of official military doctrine, indexed and searchable.
Build with the API — agents use the REST interface, humans browse the interactive docs below.
Every answer comes with a verifiable ZK proof — try one of the examples above or type your own below.
| Collection | Description | Documents |
|---|---|---|
| Loading… | ||
curl -X POST https://militarymanuals.ai/api/query \
-H "Content-Type: application/json" \
-H "Authorization: Bearer *** \
-d '{
"collection": "army",
"query": "How do I conduct urban operations?",
"metadata_filter": {
"category": "field-manual",
"classification": "unclassified"
}
}'
In the field, in the TOC, in training — you need fast answers you can trust. Every result here is drawn from official US military publications and carries a ZK proof that ties it back to the blockchain. No AI confabulation. No "looks right." Provable.
Build AI systems that cite their sources with cryptographic certainty. Every answer can come with a ZK proof that it was drawn from the committed corpus, not fabricated. Perfect for intelligence tools, training platforms, and operational aids.
Turn any document collection into a hallucination-resistant, cryptographically verifiable search engine. Open source, self-hosted, production-ready today.
Built for the field. Built for trust. Built on Horizen + zkVerify.
The full open-source implementation is available on GitHub — pipelines, ZK circuits, smart contracts, and frontend all included. Built on Horizen EVM and zkVerify.
ZK-RAG (Zero-Knowledge Retrieval-Augmented Generation) combines semantic search with cryptographic proofs so every result can be independently verified without revealing the underlying documents. Every passage in these search results is anchored to the Horizen blockchain at the time documents are registered. The ZK circuit proves the following without revealing the full document:
This allows third parties to cryptographically verify that a passage existed in a document at a specific block — provably — without requiring access to the original file. Click "🔗 Not verified" on any passage to generate and submit a ZK proof.