assura-lang

assura-lang/assura

Contract-first AI-native language. Write what it should do. AI proves it does.

8 good first / help-wanted issues · Rust · last activity Jul 7, 2026

1 stars 0 forks 1 watchers Rust MIT License
ai compiler contracts formal-verification programming-language rust smt verification z3
View on GitHub Website
8 Open Issues Need Help Last updated: Jul 7, 2026

Open Issues Need Help

View All on GitHub
good first issue: annotate integer-boundary values in counterexample output about 1 month ago
enhancement good first issue ready
assura-lang/assura
1

Contract-first AI-native language. Write what it should do. AI proves it does.

Rust
#ai#compiler#contracts#formal-verification#programming-language#rust#smt#verification#z3
good first issue: model a real CVE as a contract demo about 1 month ago
documentation good first issue ready
assura-lang/assura
1

Contract-first AI-native language. Write what it should do. AI proves it does.

Rust
#ai#compiler#contracts#formal-verification#programming-language#rust#smt#verification#z3
docs: add a README to each published crate (crates.io pages are blank) about 1 month ago
documentation good first issue ready
assura-lang/assura
1

Contract-first AI-native language. Write what it should do. AI proves it does.

Rust
#ai#compiler#contracts#formal-verification#programming-language#rust#smt#verification#z3
docs: next high-traffic error-codes.md batch (~130 still unindexed) 3 months ago
documentation good first issue ready
assura-lang/assura
1

Contract-first AI-native language. Write what it should do. AI proves it does.

Rust
#ai#compiler#contracts#formal-verification#programming-language#rust#smt#verification#z3
docs: expand error-codes.md high-traffic table (~180 unindexed codes) 3 months ago
documentation good first issue ready
assura-lang/assura
1

Contract-first AI-native language. Write what it should do. AI proves it does.

Rust
#ai#compiler#contracts#formal-verification#programming-language#rust#smt#verification#z3
good first issue: add a one-file must_compile fixture for SafeDivision pattern 4 months ago
documentation good first issue ready
assura-lang/assura
1

Contract-first AI-native language. Write what it should do. AI proves it does.

Rust
#ai#compiler#contracts#formal-verification#programming-language#rust#smt#verification#z3
enhancement: check-rust variable next_power_of_two / wrapping_next_power_of_two 4 months ago
enhancement good first issue ready
assura-lang/assura
1

Contract-first AI-native language. Write what it should do. AI proves it does.

Rust
#ai#compiler#contracts#formal-verification#programming-language#rust#smt#verification#z3
docs: single boring path contract → check → IR/build → run binary 4 months ago
documentation good first issue production-readiness
assura-lang/assura
1

Contract-first AI-native language. Write what it should do. AI proves it does.

Rust
#ai#compiler#contracts#formal-verification#programming-language#rust#smt#verification#z3