This repository contains the source for docs.praxa.io.
It documents the Praxa TypeScript SDK, CLI, MCP contracts, and governed agent
harness concepts. The public packages are maintained in
praxa-labs/praxa.
The integration handbook covers TypeScript and Node.js, Next.js, Nuxt, Express, Cloudflare Workers, Python and FastAPI, Rust, Go, Java and Spring, .NET, React Native, SwiftUI, Kotlin, and supported agent-framework patterns. Each framework guide includes a credential boundary, a runnable integration shape, end-to-end verification, troubleshooting, and production practices.
The preprint From Proposal to Verified Effect: Praxa, an Evidence-Bound Harness for Governed AI Agent Execution describes the harness architecture and reports the current evidence with its claim boundaries. You can download the publication as PDF or DOCX. The tagged release also preserves the LaTeX source, evidence data, evaluation protocols, and pipeline improvement roadmap.
The publication separates repository-local regression and conformance checks from a small Terminal-Bench pilot. Neither lane is production evidence or a demonstration of harness superiority. See the benchmark and evidence guide before interpreting a result.
Install the checked documentation dependencies, regenerate source-backed pages, and run the same static quality gate used for pull requests:
npm ci
npm run docs:generate
npm run docs:quality
npm run docs:devOpen http://localhost:3000 to review the site. Navigation and theme settings
live in docs.json; documentation pages use MDX. The local command pins the
Mint CLI version so a global installation cannot silently change validation.
The quality gate verifies generated capability, benchmark, and API Playground pages; executable examples; framework-guide completeness and mobile credential boundaries; navigation and internal links; both OpenAPI documents; Mermaid and accessible visual coverage; and Mintlify broken links.
The Mintlify GitHub app deploys changes after they reach the default branch. The repository quality workflow must pass before merge. After merge, verify a representative Overview, tutorial, benchmark, and API Playground page on the custom domain; a merged source commit is not the same proof as live CDN output.
See LICENSE.