# AutEng

> AI-native technical documentation platform. Create and share documents with Markdown, Mermaid diagrams, KaTeX math equations, and AI-assisted generation.

AutEng is a documentation platform for engineers, scientists, and technical writers. It supports rich Markdown editing with live preview, Mermaid diagram rendering, KaTeX mathematical notation, AI-powered content generation, CAS (Computer Algebra System) verification of mathematical proofs, and Lean 4 formal theorem proving integration.

## Documentation

- [Documentation Best Practices — Markdown + Mermaid + KaTeX](https://auteng.ai/docs/guides/best-practices/documentation-best-practices.md): Comprehensive guide to creating exceptional technical documentation using Markdown, Mermaid diagrams, and KaTeX equations together
- [Features](https://auteng.ai/docs/guides/features.md): Explore all the powerful features AutEng offers for technical documentation
- [Getting Started](https://auteng.ai/docs/guides/getting-started.md): Learn the basics of AutEng and create your first document
- [Using KaTeX in AutEng](https://auteng.ai/docs/guides/katex-guide.md): Practical guide to integrating mathematical equations in your documentation
- [Markdown, Mermaid & KaTeX Syntax](https://auteng.ai/docs/guides/markdown-syntax.md): Complete syntax reference for Markdown, Mermaid diagrams, and KaTeX math equations
- [Markdown Tables — Complete Guide with Examples](https://auteng.ai/docs/guides/markdown-tables.md): Learn how to create and format tables in Markdown with alignment, styling, and advanced techniques for technical documentation
- [Calculus in Technical Documentation — Derivatives and Integrals](https://auteng.ai/docs/math/calculus/calculus-technical-docs.md): Master calculus notation in technical docs with KaTeX. Learn derivatives, integrals, limits, and differential equations for software, physics, and engineering documentation.
- [Set Theory and Logic Notation — Mathematical Foundations](https://auteng.ai/docs/math/discrete/set-theory-logic.md): Complete guide to set theory and logic notation in technical documentation. Learn sets, operations, logic symbols, quantifiers, and proof notation with KaTeX.
- [KaTeX Syntax Quick Reference — Math Equations in Markdown](https://auteng.ai/docs/math/notation/katex-syntax.md): Complete reference for KaTeX mathematical notation including common formulas, symbols, and usage patterns for technical documentation.
- [CAS Verification Demo — Automated Math Checking](https://auteng.ai/docs/math/verification/cas-demo.md): Interactive examples demonstrating AutEng's Computer Algebra System (CAS) verification. See how mathematical expressions and derivations are automatically verified with SymPy.
- [Lean 4 Theorem Proving — Formal Proof Verification](https://auteng.ai/docs/math/verification/lean-theorem-proving.md): Machine-checked mathematical proofs using Lean 4 and Mathlib. Learn how to write and verify formal proofs with induction, case analysis, and powerful tactics.
- [Quadratic Formula Derivation — Step-by-Step CAS Verification](https://auteng.ai/docs/math/verification/quadratic-formula-derivation.md): Complete derivation of the quadratic formula with automated CAS verification. Learn how mode=solve verifies equation-solving steps and detects lost or extraneous solutions.
- [Electromagnetism — Maxwell's Equations Explained](https://auteng.ai/docs/physics/electromagnetism/maxwells-equations.md): Master Maxwell's equations with clear explanations, KaTeX notation, and Mermaid diagrams. Learn Gauss's law, Faraday's law, and electromagnetic wave theory.
- [Physics Equations and Diagrams — Documenting Scientific Concepts](https://auteng.ai/docs/physics/general/physics-equations-diagrams.md): Complete guide to documenting physics concepts with KaTeX equations, Mermaid diagrams, and scientific notation
- [API Documentation](https://auteng.ai/docs/software/api/api-documentation.md): Document REST APIs and GraphQL schemas with examples
- [Architecture Documentation](https://auteng.ai/docs/software/architecture/architecture-docs.md): Document system architecture and design with diagrams and flows
- [Technical Specifications](https://auteng.ai/docs/software/architecture/technical-specs.md): Write ADRs, RFCs, and design documents
- [OAuth 2.0 Client Credentials Flow](https://auteng.ai/docs/software/authentication/oauth-client-credentials.md): Complete guide to implementing server-to-server authentication with OAuth 2.0
- [Comparing OAuth 2.0 Flows — Authorization Code vs Client Credentials](https://auteng.ai/docs/software/authentication/oauth-flows.md): Complete comparison of OAuth 2.0 flows with sequence diagrams, implementation examples, and use cases

## Optional

- [Pricing](https://auteng.ai/pricing): Simple, transparent pricing for individuals and teams
- [x402 Compute API — Pay-Per-Request Code Execution for AI Agents](https://auteng.ai/docs/x402): Execute Python and Node.js code in sandboxed environments with USDC micropayments. No accounts, no API keys — just pay and compute.
- [Privacy Policy](https://auteng.ai/legal/privacy-policy): How we collect, use, and protect your data
- [Terms of Service](https://auteng.ai/legal/terms-of-service): Terms and conditions for using AutEng