ssql2014/mcp4eda - GitHub Explorer | GitHub Explorer | Trending

Stars

35

Forks

5

Watchers

35

Open Issues

3

Repository Health Score

❤️

45/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Active development - updated this week

30/30

100%

Recent Commits

Add repository checkout step to Claude Action workflow

IST•8 months ago

178bee2View on GitHub

Fix Claude Action permissions

IST•8 months ago

f909cf4View on GitHub

Update Claude Code Action to use OAuth token authentication

IST•9 months ago

eecef4fView on GitHub

Add Claude Code Action workflow

IST•9 months ago

5883d1eView on GitHub

Add comprehensive natural language examples for C2RTL verification

IST•9 months ago

41b962cView on GitHub

Enhance C2RTL verification server with natural language and resources

IST•9 months ago

2ddee58View on GitHub

Add C2RTL verification MCP tool for formal equivalence checking

IST•9 months ago

ab51a97View on GitHub

Fix CBMC MCP server for Claude Desktop compatibility

IST•9 months ago

f51571bView on GitHub

Enhance CBMC MCP natural language support

IST•9 months ago

703d30cView on GitHub

Add CBMC MCP tool for C program verification and equivalence checking

IST•9 months ago

5602f9bView on GitHub

release: MCP4EDA v1.0.0 with complete natural language support

IST•9 months ago

2ada5f5View on GitHub

feat: Add comprehensive natural language support across all MCP servers

IST•9 months ago

d0eda62View on GitHub

docs: Update MCP_SERVERS_SUMMARY with OpenLane MCP server

IST•9 months ago

099fad9View on GitHub

feat: Add OpenLane MCP server with Container Desktop support

IST•9 months ago

c3510edView on GitHub

docs: Update KLayout MCP documentation with detailed installation and troubleshooting

IST•9 months ago

96b21daView on GitHub

View all commits

GitHub Explorer

mcp4eda

Score Breakdown

Issues Activity: Last 6 months

Hottest Issues