allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
Research-Stack/4-Infrastructure/packaging/abiword-local-proofread
History
Brandon Schneider 0cf775c80e collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 
- Prover-Integrated Orchestration Layers (L0-L3): Goedel-Prover-V2 watchdog, BFS-Prover-V2 swarm consensus, bf4prover topology adaptation
- FAMM Verilator benchmark: uniform vs preshaped delay comparison (4.4x speedup)
- Swarm topological device prober: 11 agents probing traces, caps, delays, errors, vias, PDN
- Spec sheet puller: 10 components with key params and topological relevance
- Virtual FPGA system tests: 6/6 passed, 134K ops/s throughput
- Fixed merge conflicts in AI-Newton test_experiment.ipynb
2026-05-06 23:42:01 -05:00
..
abiword-local-proofread collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
LICENSE collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
PKGBUILD collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
README.md collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
vale.ini collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00

README.md

abiword-local-proofread

Local AUR-style package for proofreading AbiWord and LibreOffice-style files with the local writing tools already installed on this machine.

This is a bridge wrapper, not a native AbiWord shared-object plugin or a LibreOffice UNO extension. It uses the native document converters already available locally, then runs:

  • harper-cli for local grammar checks
  • vale for local prose/style checks

Conversion preference:

  • .abw / .zabw: AbiWord first, LibreOffice fallback
  • .odt, .ott, .docx, .doc, .rtf, and related office files: LibreOffice headless first, AbiWord fallback
  • .txt, .md, .rst, .adoc, .html: lint directly

Build

makepkg -f

Install

yay -U --noconfirm abiword-local-proofread-0.1.0-1-any.pkg.tar.zst

Use

abiword-local-proofread draft.abw
abiword-local-proofread draft.odt
abiword-local-proofread draft.docx
abiword-local-proofread draft.rtf
abiword-local-proofread notes.txt

Flags:

--no-harper
--no-vale
--keep-tmp

If the current directory or a parent directory has .vale.ini, that config is used. Otherwise, the package falls back to /usr/share/abiword-local-proofread/vale.ini, which enables Vale's built-in rules.

Smoke Evidence

Validated locally:

abiword-local-proofread --no-harper /usr/share/abiword-3.0/readme.abw

This confirms the AbiWord export path and Vale pass run against an .abw document.

LibreOffice support was validated with a Pandoc-generated .odt converted via:

libreoffice --headless --convert-to txt:Text --outdir "$tmpdir" smoke.odt

LibreOffice TeX support installed on this machine:

  • libreoffice-extension-texmaths
  • libreoffice-extension-writer2latex