LLM CAS tools (math verification)
Show HN: LLM CAS tools (math verification)
Based, LLM CAS tools (math verification) works in show hn launch.
Profile
Think of it as a cross between Google Docs, Gist and LLM chat (with tools).What it does today: Editor for GitHub-flavoured Markdown + Mermaid + KaTeX in one place Live preview as you type LLM Chat enables: Drafting an architecture doc from a short description Generate or update Mermaid diagrams from text Refining a document Change Tracking (visual or diff) Public share links Integrations (needs tidy up/fixing) ImageGen - hooked up to flux.1, gen image store in s3 GithubMCP - needs fixing (too many tools/ no private repo support) Web Search/FetchHow I got here (14M later): It started out as a development platform with vscode plugin and support for a frontend for docs/design with realtime comm
The company sits in the show hn launch segment, where it competes on its core product or service.
The company is listed at the Show HN launch stage of development.
| Sector | Show HN launch |
|---|---|
| Stage | Show HN launch |
Website: auteng.ai/#cas-demo
Browse related
Create a free account