Skip to content

v2.4.0 — Deep Skill Enrichment

Choose a tag to compare

View all tags
@codejunkie99 codejunkie99 released this 11 Apr 13:24
· 133 commits to main since this release
Immutable release. Only release title and notes can be modified.
v2.4.0
5d1414b

The biggest content update in GateFlow history. Every skill in the plugin enriched with research-backed reference material.

By the numbers

  • 37 files changed, +3,139 lines added
  • 22 skills enriched (7 stub skills transformed, 15 existing skills deepened)
  • 6 critical fixes applied
  • 5 research agents gathered domain-specific content across formal verification, PCB design, FPGA toolchains, hardware AI landscape, and verification methodology

Highlights

Formal verification got real. gf-formal now has SymbiYosys .sby templates, 7 SVA property patterns, proof strategy decision trees, engine comparisons, and counterexample interpretation guides.

Protocols got scaffold code. gf-protocols went from an empty stub to actual AXI4-Lite, SPI, UART, and I2C module skeletons with integration examples.

Every skill returns structured data. All skills now have GATEFLOW-RESULT blocks so the orchestrator can parse them programmatically.

The orchestrator got smarter. Context-dependent routing, multi-intent detection, adaptive confidence calibration, and a 20-pattern error translation dictionary for Verilator/Yosys.

Learning mode leveled up. 5 new exercise topics, difficulty scaling, grading rubrics, challenge mode with timed scoring, and 15 new contextual micro-lesson concepts with spaced repetition.

Planning got estimation tools. Power estimation, area estimation per RTL construct, latency budgets, and risk assessment templates.

Full changelog

See releases.md for the complete list.

Install / Update

claude plugin marketplace add codejunkie99/Gateflow-Plugin
claude plugin install gateflow
Assets 3
Loading