AutEng
AutEng
Autonomous Engineering (AutEng) gives you an AI-powered workspace tailored to technical, mathematical, and physics Markdown. KaTeX and Mermaid support make it great for equations, diagrams, specs, architecture documentation, proofs, and scientific write-ups. You can draft, refine, and publish professional Markdown rapidly.
5 visitors went to AutEng from LandinTools in the last 30 days.
Your product? Claim it to see where they come fromFeature AutEng for a year
Shown first in its categories and in the homepage Featured list. No account needed.
Black Friday: 50% off with code BF2026 at checkout.
About AutEng
AutEng is an AI-native workspace for writing technical documentation in Markdown. It offers support for GitHub Flavored Markdown, Mermaid diagrams and KaTeX math, along with syntax-highlighted code blocks. The editor can be tried in the browser without an account, and documents can be downloaded as .md files; creating an account allows saving work and generating public share links.
An AI assistant drafts architecture documents, API documentation, technical specifications, tutorials, algorithm explanations and data pipeline docs from plain-language requests. It can search the web for current information and asks clarifying questions when details are missing. For mathematical content, the AI can verify derivations step by step using a Computer Algebra System (SymPy) and generate machine-checked proofs with Lean 4 and Mathlib.
AutEng is aimed at engineers and technical teams writing architecture docs, ADRs, RFCs, API specs and runbooks, as well as people producing mathematics and data science write-ups or academic papers.
Best for
- Engineers writing architecture docs and specs
- Technical teams producing API documentation and runbooks
- Mathematicians and researchers writing proofs and derivations
- Data science teams documenting pipelines and algorithms
Pros
- Native Markdown with Mermaid diagrams and KaTeX math rendering
- Editor can be tried without creating an account
- CAS and Lean 4 verification for math derivations and proofs
- Bring-your-own API keys allow unlimited AI chats
Cons
- Free plan includes only 2 AI chats per month
- Team plan with shared projects is not yet available
Pricing
A Free plan allows creating and sharing with 2 AI chats per month, a paid Solo plan includes 20 chats per month plus bring-your-own API keys, and a Team plan is expected from about $19/month per project, with a 30-day money-back guarantee.
AutEng FAQ
- Can I try AutEng without signing up?
- Yes, the editor can be tested with no account required. An account is needed to save work and create public share links.
- What happens when I reach my monthly AI chat limit?
- You can upgrade to a higher plan or add your own API keys from providers such as OpenAI or Anthropic for unlimited chats billed by the provider.
- How does AutEng verify mathematical content?
- It uses a Computer Algebra System (SymPy) for algebraic checks and Lean 4 with Mathlib for machine-checked formal proofs.
- Is there a refund policy?
- Yes, AutEng offers a 30-day money-back guarantee with a full refund on request.
Compare Alternatives
See what other makers use instead of AutEng
Ekcho
Pseudonymous voice broadcasting app. Record your voice anonymously — no real name, no face. Say the thing you never say out loud.
acta.ai
Acta is a cutting-edge platform designed to streamline meeting conversations, placeholder for all your meeting discussions and structured way of following up on Action points.
1Transcribe
1Transcribe is a transcription app that delivers highly accurate transcripts, allowing users to effortlessly edit while listening to the original audio.