4 projects
electronics-design
General-purpose Python utilities for validating LTspice netlists.
symbolic-math-verify
Symbolic math verification utilities built on SymPy.
symbolic-math-mcp
FastMCP server for validating symbolic math YAML files with symbolic-math-verify.
markdown-webscraper
Scrape websites to raw HTML with Botasaurus and convert to Markdown with markitdown.
