fraware

fraware/scientific-memory

Buildable, machine-checkable scientific knowledge.

2 stars 0 forks 2 watchers Python Other
formal-methods kernel lean4 llm reproducible-research research-infrastructure scientific-knowledge
View on GitHub
6 Open Issues Need Help Last updated: May 22, 2026

Open Issues Need Help

View All on GitHub
Rebuild the corpus and portal independently 10 days ago
help wanted
fraware/scientific-memory
2

Buildable, machine-checkable scientific knowledge.

Python
#formal-methods#kernel#lean4#llm#reproducible-research#research-infrastructure#scientific-knowledge
Add one claim-to-theorem mapping 10 days ago
help wanted
fraware/scientific-memory
2

Buildable, machine-checkable scientific knowledge.

Python
#formal-methods#kernel#lean4#llm#reproducible-research#research-infrastructure#scientific-knowledge
Audit the next signed corpus release 10 days ago
help wanted
fraware/scientific-memory
2

Buildable, machine-checkable scientific knowledge.

Python
#formal-methods#kernel#lean4#llm#reproducible-research#research-infrastructure#scientific-knowledge
assurance: nested PCS bundle fixture and import tests 11 days ago
enhancement help wanted python
fraware/scientific-memory
2

Buildable, machine-checkable scientific knowledge.

Python
#formal-methods#kernel#lean4#llm#reproducible-research#research-infrastructure#scientific-knowledge
portal: link PCS claims from assurance action nodes 11 days ago
enhancement help wanted good first issue javascript
fraware/scientific-memory
2

Buildable, machine-checkable scientific knowledge.

Python
#formal-methods#kernel#lean4#llm#reproducible-research#research-infrastructure#scientific-knowledge
docs: explain autonomous-science metric definitions and exclusions 11 days ago
documentation help wanted good first issue
fraware/scientific-memory
2

Buildable, machine-checkable scientific knowledge.

Python
#formal-methods#kernel#lean4#llm#reproducible-research#research-infrastructure#scientific-knowledge