goedelsoup

goedelsoup/yidam

0 stars 0 forks 0 watchers Rust MIT License

6 Open Issues Need Help Last updated: Aug 23, 2026

Open Issues Need Help

View All on GitHub

walk.rs is six copies of one walk differing only in depth and predicate 14 days ago

good first issue type:improvement scope:cli agent-ready

goedelsoup/yidam

0

Rust

domains/README.md still says "the six core prelude operations"; the surface has ten 14 days ago

documentation good first issue scope:domains agent-ready

goedelsoup/yidam

0

Rust

the domain parity fixture loader is byte-identical in all 14 crates, vacuity guard included 14 days ago

good first issue type:improvement scope:domains agent-ready

goedelsoup/yidam

0

Rust

Eight of the report contract's required declarations are reached by no golden 14 days ago

good first issue type:improvement scope:parity scope:fixtures

goedelsoup/yidam

0

Rust

the README documents the heaviest possible install path 29 days ago

documentation good first issue type:improvement

goedelsoup/yidam

0

Rust

thirty-four flat commands: group the help output 29 days ago

good first issue type:improvement scope:cli

goedelsoup/yidam

0

Rust