Add GateFlow terminal console and release checks #8
MacroscopeApp / Macroscope - Correctness Check
completed
May 20, 2026 in 15m 50s
4 issues identified (50 code objects reviewed).
β’ Merge Base:
ac7773c
β’ Head:bae136f
Details
| β | File Path | Comments Posted |
|---|---|---|
| β | tests/__init__.py |
|
| β | agents/sv-synth.md |
|
| β | agents/sv-formal.md |
|
| β | agents/sv-pinmap.md |
|
| β | agents/gf-auditor.md |
0 |
| β | skills/gf-ip/SKILL.md |
0 |
| β | agents/pcb-designer.md |
|
| β | agents/vhdl-codegen.md |
|
| β | skills/gf-pcb/SKILL.md |
|
| β | skills/gf-pnr/SKILL.md |
|
| β | skills/gf-tui/SKILL.md |
0 |
| β | agents/sv-ip-scanner.md |
|
| β | agents/gf-pluginfixer.md |
0 |
| β | agents/vhdl-testbench.md |
|
| β | skills/gf-synth/SKILL.md |
0 |
| β | tools/gateflow_tui.py |
1 |
| β | skills/gf-cocotb/SKILL.md |
|
| β | skills/gf-errors/SKILL.md |
|
| β | skills/gf-formal/SKILL.md |
|
| β | skills/gf-pinmap/SKILL.md |
|
| β | skills/gf-fusesoc/SKILL.md |
|
| β | skills/gf-project/SKILL.md |
|
| β | skills/gf-release/SKILL.md |
|
| β | tests/test_gateflow_tui.py |
|
| β | releases.md |
0 |
| β | skills/gf-ip-detect/SKILL.md |
|
| β | skills/gf-learn-ctx/SKILL.md |
|
| β | skills/gf-protocols/SKILL.md |
|
| β | tools/validate_gateflow.py |
1 |
| β | tests/test_validate_gateflow.py |
|
| β | plugins/gateflow/commands/gf-tui.md |
0 |
| β | plugins/gateflow/commands/gf-release.md |
0 |
| β | plugins/gateflow/skills/gf-tui/SKILL.md |
1 |
| β | plugins/gateflow/skills/gf-release/SKILL.md |
0 |
| β | .claude-plugin/marketplace.json |
0 |
| β | plugins/gateflow/.claude-plugin/plugin.json |
0 |
| β | plugins/gateflow/README.md |
1 |
| β | README.md |
0 |
| β | docs/gateflow.index |
0 |
Filtered Issues Details
tools/gateflow_tui.py
- line 27:
importlib.util.spec_from_file_locationreturnsNoneif the file doesn't exist or cannot be loaded. Whenvalidate_gateflow.pyis missing,specwill beNone, andimportlib.util.module_from_spec(spec)will raise a confusingTypeError(orAttributeErroronspec.loader). The code should check ifspec is Nonebefore proceeding. [ Cross-file consolidated ]
Loading