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.
26 visitors went to AutEng from LandinTools in the last 30 days.
Your product? Claim it to see where they come fromAbout 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.