AutEng

AutEng positions itself as the workspace technical teams actually want to use, moving away from tools like Confluence, Notion, or Google Docs that lack native support for developer-centric features. Its main use cases include creating architecture documents, technical specifications, API documentation, algorithm explanations, tutorial guides, and data pipeline documentation.

The tool is built for technical teams, including software engineers, data scientists, and mathematicians, who need to produce comprehensive, professional documentation with rich visual and mathematical formatting. It combines an AI assistant with powerful verification tools for mathematical proofs and code.

• First-class Markdown, Mermaid & KaTeX Support: Provides rich document editing with native support for GitHub Flavored Markdown, Mermaid diagrams for visualizations, and KaTeX for rendering mathematical notation, all in one place.
• AI-Powered Document Generation: An AI assistant understands technical context and can instantly generate documentation, diagrams, and code examples based on natural language prompts.
• AI-Assisted Math Verification: The AI can derive mathematical formulas step-by-step and use Computer Algebra System (CAS) tools to verify each transformation, embedding verification blocks directly into documents.
• Formal Theorem Proving with Lean 4: Offers machine-checked mathematical proofs using Lean 4 and Mathlib, providing absolute certainty for rigorous formal proofs beyond heuristic verification.
• Syntax-Highlighted Code Examples: Supports code blocks in multiple programming languages with proper syntax highlighting, ideal for including examples in tutorials and API docs.
• Web Research Integration: The AI can search and fetch current information from the web to ensure documentation accuracy and incorporate best practices.
• Visual Diff Viewer: Provides a visual diff viewer for tracking changes between different versions of a document, facilitating collaboration and review.
• Public Share Links: Allows users to generate public links to share their documents easily with anyone, making collaboration and distribution simple.

• Access the Editor: Visit the AutEng website and click "Try AutEng Editor" to start using the editor immediately without creating an account.
• Describe Your Needs: Use the AI assistant by describing the documentation you need in natural language, such as requesting an architecture document or a tutorial with code.
• Utilize Formatting Syntax: Write content using Markdown, embed Mermaid diagrams within ```mermaid code blocks, and include mathematical equations using $...$ for inline or $$...$$ for display math.
• Generate with AI: For complex tasks, ask the AI to generate content like sequence diagrams, proof derivations, or code examples based on your prompts.
• Verify Mathematical Content: Use the "Verify" button on math derivation or Lean proof blocks to run CAS or formal verification, ensuring correctness.
• Save and Share: Create an account to save your work, organize it into projects, and generate public share links to distribute your documentation.
• Iterate and Refine: Provide specific feedback to the AI or manually edit the generated content to refine and improve the document based on your requirements.

• Unified Technical Workspace: Combines documentation writing, diagramming, and mathematical typesetting in a single, developer-friendly environment, eliminating the need to switch between multiple tools.
• Advanced Mathematical Rigor: Goes beyond basic equation rendering by offering CAS verification and formal theorem proving with Lean 4, catering to academic and highly technical use cases.
• Context-Aware AI Assistance: The AI is specifically trained to understand technical contexts, enabling it to generate relevant diagrams, code, and explanations rather than generic text.
• No-Lock-In with BYO API Keys: The Solo plan allows users to bring their own API keys from providers like OpenAI and Anthropic, giving them control over AI costs and model choice.
• Superior Formatting for Engineers: Natively supports the exact formatting (Markdown, Mermaid, KaTeX) that developers prefer and use daily, unlike generic document editors.
• Focus on Verification: Emphasizes correctness through built-in verification tools for both algebraic derivations and formal proofs, which is unique for a documentation platform.
• Freemium Model with Core Features: The Free plan includes unlimited documents and core features like Mermaid and KaTeX, allowing users to test the platform extensively before upgrading.

• Priority Support (Solo Plan): Solo plan subscribers receive priority email and chat support for faster assistance with any issues.
• Documentation: Comprehensive online documentation is available at [https://auteng.ai/docs](https://auteng.ai/docs, covering guides, features, and syntax.
• Contact Form: Users can reach out via the contact page at [https://auteng.ai/contact](https://auteng.ai/contact for general inquiries and support.

Web application — accessible directly in browser at [https://auteng.ai/](https://auteng.ai/, no download required.