AutEng

Product details from official sources

AutEng Docs is an AI-native workspace for technical documentation combining GitHub-flavored Markdown, Mermaid diagrams, and KaTeX math in one place, with an editor anyone can test without an account. An AI documentation assistant generates architecture documents, API docs, sequence diagrams, tutorials, and mathematical proofs — including CAS (SymPy) verification blocks and formal Lean 4 + Mathlib proofs. Core features include version history, real-time collaboration, public share links, private-by-default encrypted docs on SOC 2-compliant infrastructure, and upcoming team workspaces, API access, custom domains, and advanced search. Pricing: create and share for free; the Free plan includes 2 AI chats per month (limited to 1 project, no AI), Solo raises the quota to 20 chats per month and supports BYO API keys from providers like OpenAI and Anthropic, and Team (shared projects, private workspaces) is coming soon at ~$19/month per project. Monthly chat quotas reset each billing period and do not roll over.

Capabilities and conditions

• AutEng is an AI-native workspace for technical documentation: Markdown, Mermaid, and KaTeX in one place. Source ↗
• The editor combines Markdown, Mermaid diagrams, and KaTeX math and can be tested with no account. Source ↗
• Creating and sharing is free; paid upgrades add AI allowances. Source ↗
• Free plan users get 2 AI chats per month; Solo users get 20. Source ↗
• Team workspaces are not yet available; they are coming soon. Source ↗

Price and free allowance

See the sourced plan statements above; confirm currency, billing period and checkout eligibility on the vendor site.

Published-source profile · collected 2026-10-17. Automated collection followed by editorial review. These are vendor-published claims, not hands-on product test results.